Possible values for 2

From GCH and P^{m(κ)-hypermeasurable} (1 <m<gw), we construct a model satisfying 2_ⁿ = _a(n) and 2_^ω = _ω+m for a monotone a:ω→ω satisfying a(n)>n.     

On cardinal sequences of scattered spaces

It was proved by Dow and Simon that there are 2^ω₁ (as many as possible) pairwise nonhomeomorphic compact, T₂, scattered spaces of height ω₁ and width ω. In this paper, we prove that if is an ordinal withω₁ < ω₂ and θ = κ_ξ: ξ < is a sequence of cardinals such that either κ_ξ = ω or κ_ξ = ω₁ for every ξ < , then there are 2^ω₁ pairwise nonhomeomorphic compact, T₂, scattered spaces whose cardinal sequence is θ.     

Strong equality of domination parameters in trees

We study the concept of strong equality of domination parameters. Let P₁ and P₂ be properties of vertex subsets of a graph, and assume that every subset of V(G) with property P₂ also has property P₁. Let ψ₁(G) and ψ₂(G), respectively, denote the minimum cardinalities of sets with properties P₁ and P₂, respectively. Then ψ₁(G)ψ₂(G). If ψ₁(G)=ψ₂(G) and every ψ₁(G)-set is also a ψ₂(G)-set, then we say ψ₁(G) strongly equals ψ₂(G), written ψ₁(G)≡ψ₂(G). We provide a constructive characterization of the trees T such that γ(T)≡i(T), where γ(T) and i(T) are the domination and independent domination numbers, respectively. A constructive characterization of the trees T for which γ(T)=γ_t(T), where γ_t(T) denotes the total domination number of T, is also presented.     

The deviation, density, and depth of partially ordered sets

Let P be a poset, and let γ be a linear order type with |γ| ≥ 3. The γ-deviation of P, denoted by γ-dev P, is defined inductively as follows: (1) γ-dev P=0, if P contains no chain of order type γ; (2) γ-dev P = , if γ-dev P and each chain C of type γ in P contains elements a and b such that a<b and [a, b] as an interval of P has γ-deviation <. There may be no ordinal such that γ-dev P = ; i.e., γ-dev P does not exist. A chain is γ-dense if each of its intervals contains a chain of order type γ. If P contains a γ-dense chain, then γ-dev P fails to exist. If either (1) P is linearly ordered or (2) a chain of order type γ does not contain a dense interval, then the converse holds. For an ordinal ξ, a special set S(ξ) is used to study ω_ξ-deviation. The depth of P, denoted by δ(P) is the least ordinal β that does not embed in P^*. Then the following statements are equivalent: (1) ω_ξ-dev P does not exist; (2) S(ξ) embeds in P; and (3) P has a subset Q of cardinality _ξ such that δ(Q^*) = ω_{ξ + 1}. Also ω_ξ-dev P = <ω_{ξ + 1} if and only if |δ(P^*)|_ξ; if these equivalent conditions hold, then ω^β_ξ < δ(P^*) ≤ ω ^{+ 1}_ξ for all β < . Applications are made to the study of chains of submodules of a module over an associative ring.     

On weights in duadic abelian codes

In this note, we prove that if C is a duadic binary abelian code with splitting μ=μ₋₁ and the minimum odd weight of C satisfies d²−d+1≠n, then d(d−1)n+11. We show by an example that this bound is sharp. A series of open problems on this subject are proposed.     

On the complex zeros of Hμ(z), J(z), J(z) for real or complex order

Propositions about the nonexistence of complex zeros of the functions H_μ(z)=J_μ(z)+zJ^′_μ(z),J^′_μ(z),J^″_μ(z), where J^′_μ(z) and J^″_μ(z) are the first two derivatives of the Bessel functions J_μ(z), for μ in general complex are proved. Bounds for the purely imaginary zeros of the above functions assuming their existence are given. Thus for the range of values for which these bounds are violated there are no purely imaginary zeros of the above functions. Finally, some known results from previous work are generalized in the present paper.     

Uniqueness theorems for 3D inverse problems with incomplete data

In Ramm, Phys. Lett. 99A, (1983), 258-260, it is proved that a compactly supported inhomogeneity in the velocity profile is uniquely determined by the values of the acoustic pressure collected for all positions of the source and receiver on the surface of the earth ( on the whole plane P) at low frequencies. Here it is proved that the data collected on ω₁ x ω₂ suffice for the uniqueness theorem to hold, where ω₁ and ω₂ are arbitrary open sets on the plane P. This result holds also for the data collected on ω₁ × ω₂ at a fixed frequency.     

Forcing closed unbounded subsets of ω2

It is shown that there is no satisfactory first-order characterization of those subsets of ω₂ that have closed unbounded subsets in ω₁,ω₂ and GCH preserving outer models. These “anticharacterization” results generalize to subsets of successors of uncountable regular cardinals. Similar results are proved for trees of height and cardinality κ⁺ and for partitions of [κ⁺]², when κ is an infinite cardinal.     

The Hoffman number of a graph

For a connected graph G with n vertices, let {λ₁,λ₂,…,λ_r} be the set of distinct positive eigenvalues of the Laplacian matrix of G. The Hoffman number μ(G) of G is defined by μ(G)=λ₁λ₂…λ_r/n. In this paper, we study some properties and applications of the Hoffman number.     

Cyclic coloring of plane graphs

Let G be a plane graph, and let χ_k(G) be the minimum number of colors to color the vertices of G so that every two of them which lie in the boundary of the same face of the size at most k, receive different colors. In 1966, Ore and Plummer proved that χ_k(G)2k for any k3. It is also known that χ₃(G)4 (Appel and Haken, 1976) and χ₄(G)6 (Borodin, 1984). The result in the present paper is: χ₅(G)9, χ₆(G)11, χ₇(G)12, and χ_k(G)2k − 3 if k8.     

Extremal properties of strong quadrature weights and maximal mass results for truncated strong moment problems

A bisequence of complex numbers {μ_n}_−∞^∞ determines a strong moment functional satisfying L[xⁿ] = μ_n. If is positive-definite on a bounded interval (a,b) R{0}, then has an integral representation , n=0, ±1, ±2,…, and quadrature rules {w_ni,x_ni} exist such that μ_k = ∑_i=i^n_ns_ni^kw_ni. This paper is concerned with establishing certain extremal properties of the weights w_ni and using these properties to obtain maximal mass results satisfied by distributions ψ(x) representing when only a finite bisequence of moments {μ_k}_k=−nⁿ⁻¹ is given.     

Weak convergence to the multiple Stratonovich integral

We have considered the problem of the weak convergence, as tends to zero, of the multiple integral processes

in the space , where fL²([0,T]ⁿ) is a given function, and {η(t)}_>0 is a family of stochastic processes with absolutely continuous paths that converges weakly to the Brownian motion. In view of the known results when n2 and f(t₁,…,t_n)=1_{t1<t2<<tn}, we cannot expect that these multiple integrals converge to the multiple Itô–Wiener integral of f, because the quadratic variations of the η are null. We have obtained the existence of the limit for any {η}, when f is given by a multimeasure, and under some conditions on {η} when f is a continuous function and when f(t₁,…,t_n)=f₁(t₁)f_n(t_n)1_{t1<t2<<tn}, with f_iL²([0,T]) for any i=1,…,n. In all these cases the limit process is the multiple Stratonovich integral of the function f.     

Error bounds on the power method for determining the largest eigenvalue of a symmetric, positive definite matrix

Let A be a positive definite, symmetric matrix. We wish to determine the largest eigenvalue, λ₁. We consider the power method, i.e. that of choosing a vector v₀ and setting v_k = A^kv₀; then the Rayleigh quotients R_k = (Av_k, v_k)/(v_k, v_k) usually converge to λ₁ as k → ∞ (here (u, v) denotes their inner product). In this paper we give two methods for determining how close R_k is to λ₁. They are both based on a bound on λ₁ − R_k involving the difference of two consecutive Rayleigh quotients and a quantity ω_k. While we do not know how to directly calculate ω_k, we can given an algorithm for giving a good upper bound on it, at least with high probability. This leads to an upper bound for λ₁ − R_k which is proportional to (λ₂/λ₁)^2k, which holds with a prescribed probability (the prescribed probability being an arbitrary δ > 0, with the upper bound depending on δ).     

Remarks on navier-stokes equations with measures as data

We show the existence of a solution to the Navier-Stokes equation taking the vorticity ω as the unknown: ω_t + Aω + Bω = μ, ω(0) = ω₀. Here, ω₀ and μ are bounded Radon measures. This study is motivated by a numerical approximation which will be given in a forthcoming work [1].     

Changing cofinalities and collapsing cardinals in models of set theory

If a˜cardinal κ₁, regular in the ground model M, is collapsed in the extension N to a˜cardinal κ₀ and its new cofinality, ρ, is less than κ₀, then, under some additional assumptions, each cardinal λ>κ₁ less than cc(P(κ₁)/[κ₁]^<κ₁) is collapsed to κ₀ as well. If in addition N=M[f], where f : ρ→κ₁ is an unbounded mapping, then N is a˜|λ|=κ₀-minimal extension. This and similar results are applied to generalized forcing notions of Bukovský and Namba.     

Partition numbers

We continue [21] and study partition numbers of partial orderings which are related to (ω)/fin. In particular, we investigate P_f, be the suborder of ((ω)/fin)^ω containing only filtered elements, the Mathias partial order M, and (ω), (ω)^ω the lattice of (infinite) partitions of ω, respectively. We show that Solomon's inequality holds for M and that it consistently fails for P_f. We show that the partition number of (ω) is C. We also show that consistently the distributivity number of (ω)^ω is smaller than the distributivity number of (ω)/fin. We also investigate partitions of a Polish space into closed sets. We show that such a partition either is countable or has size at least D, where D is the dominating number. We also show that the existence of a dominating family of size ₁ does not imply that a Polish space can be partitioned into ₁ many closed sets.     

Sometimes slow growing is fast growing

The slow growing hierarchy is commonly defined as follows: G₀(x) = 0, G_x−1(x) := G_x(x) + 1 and G_λ(x) := G_λ[x](x) where λ<₀ is a limit and ·[·]:₀∩ Lim × ω → ₀ is a given assignment of fundamental sequences for the limits below ₀. The first obvious question which is encountered when one looks at this definition is: How does this hierarchy depend on the choice of the underlying system of fundamental sequences? Of course, it is well known and easy to prove that for the standard assignment of fundamental sequence the hierarchy (G_x)_x<0 is slow growing, i.e. each G_x is majorized by a Kalmar elementary recursive function.

It is shown in this paper that the slow growing hierarchy (G_x)_x<0 — when it is defined with respect to the norm-based assignment of fundamental sequences which is defined in the article by Cichon (1992, pp. 173–193) — is actually fast growing, i.e. each PA-provably recursive function is eventually dominated by G_x for some <₀. The exact classification of this hierarchy, i.e. the problem whether it is slow or fast growing, has been unsolved since 1992. The somewhat unexpected result of this paper shows that the slow growing hierarchy is extremely sensitive with respect to the choice of the underlying system of fundamental sequences.

The paper is essentially self-contained. Only little knowledge about ordinals less than ₀ — like the existence of Cantor normal forms, etc. and the beginnings of subrecursive hierarchy theory as presented, for example, in the 1984 textbook of Rose — is assumed.     

Intermediate error estimates

Let R[f] be the remainder of some approximation method, having estimates of the form f;R[f]f; ρ_i ; f⁽ⁱ⁾ for i = 0,…, r. In many cases, ρ₀ and ρ_r are known, but not the intermediate error constants ρ₁,…,ρ_r−1. For periodic functions, Ligun (1973) has obtained an estimate for these intermediate error constants by ρ₀ and ρ_r. In this paper, we show that this holds in the nonperiodic case, too. For instance, the estimates obtained can be applied to the error of polynomial or spline approximation and interpolation, or to numerical integration and differentiation.     

Coupling and harmonic functions in the case of continuous time Markov processes

Consider two transient Markov processes (X^v_t)_tεR·, (X^μ_t)_tεR· with the same transition semigroup and initial distributions v and μ. The probability spaces supporting the processes each are also assumed to support an exponentially distributed random variable independent of the process.

We show that there exist (randomized) stopping times S for (X^v_t), T for (X^μ_t) with common final distribution, L(X^v_S|S < ∞) = L(X^μ_T|T < ∞), and the property that for t < S, resp. t < T, the processes move in disjoint portions of the state space. For such a coupling (S, T) it is shown

where denotes the bounded harmonic functions of the Markov transition semigroup. Extensions, consequences and applications of this result are discussed.