The W-convexity and normal structure in banach spaces

Let X be a Banach space, S(X) - x ε X : #x02016; = 1 be the unit sphere of X.The parameter, modulus of W^*-convexity, W^*(ε) = inf <(x − y)/2, f_x> : x, y S(X), x − y ≥ ε, f_x Δ_x , where 0 ≤ ε ≤ 2 and Δ_x S(X^*) be the set of norm 1 supporting functionals of S(X) at x, is investigated_ The relationship among uniform nonsquareness, uniform normal structure and the parameter W^*(ε) are studied, and a known result is improved. The main result is that for a Banach space X, if there is ε, where 0 < ε < 1/2, such that W^*(1 + ε) > ε/2 where W^*(1 + ε) = lim_→ε W^* (1 + ), then X has normal structure.     

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.     

The consistency of a non-linear least squares estimator from diffusion processes

Consider the following Itô stochastic differential equation dX(t) = ƒ(θ⁰, X(t)) dt + dW(t), where (W(t), t 0), is a standard Wiener process in R^N. On the basis of discrete data 0 = t₀ < t₁ < …<t_n = T; X(t₁),...,X(t_n) we would like to estimate the parameter θ⁰. We shall define the least squares estimator and show that under some regularity conditions, is strongly consistent.     

The standing wave model of the mesons and baryons

Only photons are needed to explain the masses of the π⁰, η, Λ, Σ⁰, Ξ⁰, Ω⁻, Λ_c⁺, Σ_c⁰, Ξ_c⁰ and Ω_c⁰ mesons and baryons with the sum of the energies contained in the frequencies of standing electromagnetic waves in a cubic black body. Only neutrinos are needed to explain the mass of the π^± mesons with the sum of the energies of standing oscillations of muon and electron neutrinos in a cubic lattice plus the energies contained in the rest masses of the neutrinos. Neutrinos and photons are needed to explain the masses of the K^± mesons. Surprisingly the mass of the μ^± mesons can also be explained without an additional assumption by the oscillation energies and rest masses of a neutrino lattice. From the difference of the masses of the π^± mesons and μ^± mesons we find that the rest mass of the muon neutrino is 47.5 meV/c². From the difference of the masses of the neutron and proton we find that the rest mass of the electron neutrino is 0.55 meV/c². The potential of the weak force between the lattice points can be determined from Born’s lattice theory. From the weak force between the lattice points follows automatically the existence of a strong force between the sides of two lattices. The strong nuclear force is the sum of the unsaturated weak forces at the sides of each lattice and is therefore about 10⁶ times stronger than the weak force.     

An extended result of Kleitman and Saks concerning binary trees

In a recent paper, D.J. Kleitman and M.E. Saks gave a proof of Huang's conjecture on alphabetic binary trees.

Given a set E = {e_i}, I = 0, 1, 2, …, m and assigned positive weights to its elements and supposing the elements are indexed such that w(e₀) ≤ w(e₁) ≤ … ≤w (e_m), where w(e_i) is the weight of e_i, we call the following sequence E^* a ‘saw-tooth’ sequence

E^*=(e₀,e_m,e₁,…,e_j,e_m−j,…).

Huang's conjecture is: E^* is the most expensive sequence for alphabetic binary trees. This paper shows that this property is true for the L-restricted alphabetic binary trees, where L is the maximum length of the leaves and log₂(m + 1) ≤L≤m.     

On the on-line chromatic number of the family of on-line 3-chromatic graphs

Let the family OL(3) contain all graphs which can be colored on-line with 3 colors. Gyárfás and Lehel suggested the problem of determining the on-line chromatic number χ^*(OL(3)) of OL(3). They showed that 4 χ^*(OL(3)) 16. We present an algorithm that colors every on-line-3-chromatic graph with 4 colors. Thus χ^*(OL(3)) = 4.     

The fundamental solutions for the fractional diffusion-wave equation

The time fractional diffusion-wave equation is obtained from the classical diffusion or wave equation by replacing the first- or second-order time derivative by a fractional derivative of order 2β with 0 < β ≤ 1/2 or 1/2 < β ≤ 1, respectively. Using the method of the Laplace transform, it is shown that the fundamental solutions of the basic Cauchy and Signalling problems can be expressed in terms of an auxiliary function M(z;β), where z = |x|/t^β is the similarity variable. Such function is proved to be an entire function of Wright type.     

Strong approximation for cross-covariances of linear variables with long-range dependence

Suppose {_k, −∞ < k < ∞} is an independent, not necessarily identically distributed sequence of random variables, and {c_j}^∞_j=0, {d_j}^∞_j=0 are sequences of real numbers such that Σ_jc²_j < ∞, Σ_jd²_j < ∞. Then, under appropriate moment conditions on {_k, −∞ < k < ∞}, y_k Σ^∞_j=0c_jk-j, z_k Σ^∞_j=0d_jk-j exist almost surely and in ⁴ and the question of Gaussian approximation to S_[t]Σ^[t]_k=1 (y_k z_k − E{y_k z_k}) becomes of interest. Prior to this work several related central limit theorems and a weak invariance principle were proven under stationary assumptions. In this note, we demonstrate that an almost sure invariance principle for S_[t], with error bound sharp enough to imply a weak invariance principle, a functional law of the iterated logarithm, and even upper and lower class results, also exists. Moreover, we remove virtually all constraints on _k for “time” k ≤ 0, weaken the stationarity assumptions on {_k, −∞ < k < ∞}, and improve the summability conditions on {c_j}^∞_j=0, {d_j}^∞_j=0 as compared to the existing weak invariance principle. Applications relevant to this work include normal approximation and almost sure fluctuation results in sample covariances (let d_j = c_j-m for j ≥ m and otherwise 0), quadratic forms, Whittle's and Hosoya's estimates, adaptive filtering and stochastic approximation.     

Impulsive effects on global existence of solutions for degenerate semilinear parabolic equations

Let q be a nonnegative real number, and λ and σ be positive constants. This article studies the following impulsive problem: for n = 1, 2, 3,…,

. The number λ^* is called the critical value if the problem has a unique global solution u for λ < λ^*, and the solution blows up in a finite time for λ > λ^*. For σ < 1, existence of a unique λ^* is established, and a criterion for the solution to decay to zero is studied. For σ > 1, existence of a unique λ^* and three criteria for the blow-up of the solution in a finite time are given respectively. It is also shown that there exists a unique T^* such that u exists globally for T> T^*, and u blows up in a finite time for T < T^*.     

Uniqueness implies existence for three-point boundary value problems for dynamic equations

Shooting methods are used to obtain solutions of the three-point boundary value problem for the second-order dynamic equation, y^ΔΔ = f (x, y, y^Δ), y(x₁) = y₁, y(x₃) − y(x₂) = y₂, where f : (a, b)_T × ² → is continuous, x₁ < x₂ < x₃ in (a, b)_T, y₁, y₂ ε , and T is a time scale. It is assumed such solutions are unique when they exist.     

Finite-volume hyperbolic 4-manifolds that share a fundamental polyhedron

It is known that the volume function for hyperbolic manifolds of dimension 3 is finite-to-one. We show that the number of nonhomeomorphic hyperbolic 4-manifolds with the same volume can be made arbitrarily large. This is done by constructing a sequence of finite-sided finite-volume polyhedra with side-pairings that yield manifolds. In fact, we show that arbitrarily many nonhomeomorphic hyperbolic 4-manifolds may share a fundamental polyhedron. As a by-product of our examples, we also show in a constructive way that the set of volumes of hyperbolic 4-manifolds contains the set of even integral multiples of 4π²/3. This is “half” the set of possible values for volumes, which is the integral multiples of 4π²/3 due to the Gauss-Bonnet formula Vol(M) = 4π²/3 · χ(M).     

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 product of the independent domination numbers of a graph and its complement

It is shown that the maximum value over p vertex graphs of the product of the independent domination numbers of a graph and its complement is at most min {(p + 3)²/8, (p + 8)²/10.8}.     

On a theorem of Čebotarev

A new proof is given of the theorem that no submatrix of the p×p matrix S=(ζ^(i-1)(j-1)) is singular, where ζis a primitive pth root of unity and p is a prime. Some related results are also discussed.     

Two linear transformations each tridiagonal with respect to an eigenbasis of the other

Let denote a field, and let V denote a vector space over with finite positive dimension. We consider a pair of linear transformations A:V→V and A^*:V→V satisfying both conditions below:

1. [(i)] There exists a basis for V with respect to which the matrix representing A is diagonal and the matrix representing A^* is irreducible tridiagonal.

2. [(ii)] There exists a basis for V with respect to which the matrix representing A^* is diagonal and the matrix representing A is irreducible tridiagonal.

We call such a pair a Leonard pair on V. Refining this notion a bit, we introduce the concept of a Leonard system. We give a complete classification of Leonard systems. Integral to our proof is the following result. We show that for any Leonard pair A,A^* on V, there exists a sequence of scalars β,γ,γ^*,,^* taken from such that both

where [r,s] means rs−sr. The sequence is uniquely determined by the Leonard pair if the dimension of V is at least 4. We conclude by showing how Leonard systems correspond to q-Racah and related polynomials from the Askey scheme.     

The existence of Schröder designs with equal-sized holes

A holey Schröder design of type h₁^n₁h₂^n₂ … h_k^n_k (HSD(h₁^n₁h₂^n₂ … h_k^n_k)) is equivalent to a frame idempotent Schröder quasigroup (FISQ(h₁^n₁h₂^n₂ … h_k^n_k)) of order n with n_i missing subquasigroups (holes) of order h_i, (1 i k), which are disjoint and spanning, that is, Σ_{1 i k} n_ih_i = n. In this paper, it is shown that an HSD(hⁿ) exists if and only if h²n(n − 1) 0 (mod 4) with expceptions (h, n) ε {{(1,5),(1,9),(2,4)}} and the possible exception of (h, n) = (6,4).     

Inverse geophysical problems for some noncompactly supported inhomogeneities

Let[²+k²n(x₁,x₃)]u(x₁,x₂,x₃)=−δ(x₁,y₁δ(x₂,y₂)δ(x₃,y₃) in R³₊. Assume that u(x₁,x₂,x₃=0,y₁,y₂=0,y₃=0,k) is measured at the plane P {x:x₃=0} for all positions of the source on the line y = (y₁,y₂ = 0,y₃ = 0), -∞ < y₁ < ∞, and receiver on the plane(x₁,x₂,x₃ − <x₁,x₂ < ∞, and for low-frequencies 0 < k <k₀, k₀ > 0 is an arbitrary small wave number. Assume thatn(x₁,x₃) is an arbitrary bounded piecewise-continuous function. The basic result is: the above low-frequency surface data determinen(x₁,x₃)uniquely.     

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 δ).     

Stable limits of empirical processes of moving averages with infinite variance

The paper obtains a functional limit theorem for the empirical process of a stationary moving average process X_t with i.i.d. innovations belonging to the domain of attraction of a symmetric -stable law, 1<<2, with weights b_j decaying as j^−β, 1<β<2/. We show that the empirical process (normalized by N^1/β) weakly converges, as the sample size N increases, to the process c_x⁺L⁺+c_x⁻L⁻, where L⁺,L⁻ are independent totally skewed β-stable random variables, and c_x⁺,c_x⁻ are some deterministic functions. We also show that, for any bounded function H, the weak limit of suitably normalized partial sums of H(X_s) is an β-stable Lévy process with independent increments. This limiting behavior is quite different from the behavior of the corresponding empirical processes in the parameter regions 1/<β<1 and 2/<β studied in Koul and Surgailis (Stochastic Process. Appl. 91 (2001) 309) and Hsing (Ann. Probab. 27 (1999) 1579), respectively.     

Least-squares Galerkin procedures for parabolic integro-differential equations

Two least-squares Galerkin finite element schemes are formulated to solve parabolic integro-differential equations. The advantage of this method is that it is not subject to the LBB condition. The convergence analysis shows that the least-squares mixed element schemes yield the approximate solution with optimal accuracy in H(div;Ω)×H¹(Ω) and (L²(Ω))²×L²(Ω), respectively.