Note on the point character of l 1-spaces

We prove that for any ordinal α, any integer t ≥ 0, the point character of the space l ₁(ω _{α + t} ) is no more than ω _α . Combined with an earlier result from [5], this yields that for any infinite cardinal κ the point character of l ₁(κ) is the largest cardinal ω _α ≤ κ where α = 0 or a limit ordinal.     

Isomorphisms,definable relations,and Scott families for integral domains and commutative semigroups

In the present article, we prove the following four assertions: (1) For every computable successor ordinal α, there exists a Δ _α ⁰ -categorical integral domain (commutative semigroup) which is not relatively Δ _α ⁰ -categorical (i.e., no formally Σ _α ⁰ Scott family exists for such a structure). (2) For every computable successor ordinal α, there exists an intrinsically Σ _α ⁰ -relation on the universe of a computable integral domain (commutative semigroup) which is not a relatively intrinsically Σ _α ⁰ -relation. (3) For every computable successor ordinal α and finite n, there exists an integral domain (commutative semigroup) whose Δ _α ⁰ -dimension is equal to n. (4) For every computable successor ordinal α, there exists an integral domain (commutative semigroup) with presentations only in the degrees of sets X such that Δ _α ⁰ (X) is not Δ _α ⁰ . In particular, for every finite n, there exists an integral domain (commutative semigroup) with presentations only in the degrees that are not n-low.     

The determinant of the sum of two normal matrices with prescribed eigenvalues

Given complex numbers α₁,...,α_n, β₁,...,β_n, what can we say about the determinant of A+B, where A (B) is an n×n normal matrix with eigenvalues α₁,...,α_n (β₁,...,β_n)? Some partial answers are offered to this question.     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

Arithmetical progressions formed byk different Lehmer pseudoprimes

LetU _n=(αⁿ-β²)/(α-β) forn odd andU _n=(αⁿ-βⁿ)/(α²-β²) for evenn, where α and β are distinct roots of the trinomialf(z)=z ²-√Lz+Q andL>0 andQ are rational integers.U _n is then-th Lehmer number connected withf(z). A compositen is a Lehmer pseudoprime for the bases α and β ifU _n??(n)≡0 (modn), where?(n)=(LD/n) is the Jacobi symbol. IfD=L?4Q>0, U _n denotesn-th Lehmer number,p>3 and 2p?1 are primes,p(2p-1)+(α²-β²)², (α^2p-1±β^2p-1)/(α±β) are composite then the numbers (α^2p-1+β^2p-1)/(α+β), (α^2p-β^2p)/(α²-β²), (α^2p-1-β^2p-1)/(α-β) are lehmer pseudoprimes for the bases α and β and form an arithmetical progression. IfD>0 then from hypothesisH of A. Schinzel on polynomials it follows that for every positive integerk there exists infinitely many arithmetic progressions formed fromk different Lehmer pseudoprimes for the bases α and β.     

Tensor products of complementary series of rank one Lie groups

We consider the tensor product π_α ? π_βof complementary series representations π_α and π_β of classical rank one groups SO_0(n, 1), SU(n, 1) and Sp(n, 1). We prove that there is a discrete component π_(α+β)for small parameters α and β(in our parametrization). We prove further that for SO_0(n, 1) there are finitely many complementary series of the form π_(α+β+2j,)j = 0, 1,..., k, appearing in the tensor product π_α ? π_βof two complementary series π_α and π_β, where k = k(α, β, n) depends on α, β and n.     

On the infinite divisibility of the product of two г-distributed stochastical variables

The authors give a positive answer to the question “if X_α is г-distributed of order α, and X_β of order β, with X_α and X_β independent, is X_αX_β infinitely divisible?”. This question, posed by Steutel in Ref. 1, has not been answered up to now, so far as they can find in the literature. In addition they show that the distribution of X_αX_β is a generalized г-distribution.     

Lattice paths in regions with the catalan property

If α = {α₀, α₁,…, α_n} and β = {β₀, β₁,…, β_n} are two non-decreasing sets of integers such that α₀ = 0 < β₀, α_n < β_n = n, and α_i < i < β_i for 1 ? i ? n ? 1, let L denote the set of lattice points (p, q) such that 0 ? p ? n and α_p ? q ? β_p. We determine all such regions L with the property that the number of lattice paths from (0, 0) to (p, p) in L is the Catalan number$\text{(p + 2)}{}^{\mathrm{?1}}\text{(}\text{2p+2}\text{p+1}\text{)}$ for 0 ? p ? n.     

An application of Carlitz's formula

In this note we establish a new transformation formula for the generalized hypergeometric function of two variables. On specializing its parameters, it yields the interesting result:

${}_4\text{F}{}_3\text{γ2β?γ1+}\text{1}\text{2}\text{α,}\text{1}\text{2}\text{+}\text{1}\text{2}\text{α;1}\text{1}\text{2}\text{(1+2β),2+α,1+β;}\text{=}\text{βΓ(2β)Γ(2β?α?γγ)}\text{(β?γ)Γ(2β?α)Γ(2β?γ)}$

. valid for Rl(2β ? α ? γ) > 0. When γ = ?n (a negative integer), it reduces to a result due to Professor Carlitz. Several other new summation formulae for ₅F₄(1), ₄F₃(1) and for the hypergeometric function of two variables are obtained.     

On some properties of schlicht functions

One considers the classes S _β ^* (α),S _β (λ),, and S of functionsf (z)=z+ ..., which are respectivelyα-starlike of orderβ, γ-spirallike of orderβ, and regular schlicht in ¦z ¦ < 1. It is proved that forα? 0, 0 < β < 1 fromf (z) ∈S _β ^* (α) followsf (z) ∈S _β ^* (0); this generalizes appropriate results of [1–5]. A converse result is also obtained. For certainα andβ the exact value of the radius ofα-starlikeness of orderβ for the class S is given. An equation is found, whose unique root gives the radiusγ-spirallikeness of orderβ for the class S.     

Regular bases in products of power series spaces

We prove that Λ_∞(α) × Λ₁(β) has a regular basis iff Λ_∞(α) ? Λ₁(β) has a regular basis iff Λ_∞(α) ? Λ₁(β) is isomorphic to a Cartesian product of two power series spaces. We give a simple condition on α, β which determines when these equivalent statements hold.     

Scattered and hereditarily irresolvable spaces in modal logic

When we interpret modal ? as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ? as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that ${X \in {\bf H}_{1}}When we interpret modal ◊ as the limit point operator of a topological space, the G?del-L?b modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ◊ as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that X ? H₁{X \in {\bf H}_{1}} iff X is submaximal. For a positive integer n, we generalize the notion of a submaximal space to that of an n-submaximal space, and prove that X ? H_n{X \in {\bf H}_{n}} iff X is n-submaximal. This provides topological completeness and definability results for extensions of Grz. We show that the two partitions are related to each other as follows. For a successor ordinal α = β + n, with β a limit ordinal and n a positive integer, we have H_a ?Scat = S_b+2n-1 èS_b+2n{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\beta+2n-1} \cup {\bf S}_{\beta+2n}} , and for a limit ordinal α, we have H_a ?Scat = S_a{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\alpha}} . As a result, we obtain full and faithful translations of ordinal complete extensions of Grz into ordinal complete extensions of GL, thus generalizing the Kuznetsov–Goldblatt–Boolos theorem.     

Pressing Down Lemma for λ-trees and its applications

For any ordinal λ of uncountable cofinality, a λ-tree is a tree T of height λ such that |T _α| < cf(λ) for each α < λ, where T _α = {x ∈ T: ht(x) = α}. In this note we get a Pressing Down Lemma for λ-trees and discuss some of its applications. We show that if η is an uncountable ordinal and T is a Hausdorff tree of height η such that |T _α | ? ω for each α < η, then the tree T is collectionwise Hausdorff if and only if for each antichain C ? T and for each limit ordinal α ? η with cf(α) > ω, {ht(c): c ∈ C} ∩ α is not stationary in α. In the last part of this note, we investigate some properties of κ-trees, κ-Suslin trees and almost κ-Suslin trees, where κ is an uncountable regular cardinal.     

Nonhomogeneous spectra of numbers

A simple characterization is given of those sequences of integersM_n={a_i}ⁿ_i=1for which there exist real numbers αandβ such thata_i=?iα+β?(1?i?n). In addition, for givenM_n, an open intervalI_nis computed such that α?I_nif and only ifa_i=?iα+β?(1?i?n)for suitableβ=β(α).     

Constructive almost periodic factorization of some triangular matrix functions

A factorability criterion is obtained constructively, and the respective factorization obtained explicitly, for 2×2 triangular almost periodic matrix functions of the form . Here f=c−1e−α−c₀+c₁eβ, eμ(x):=eiμx, cj are non-zero constants and 0<α,β, α+β<λ?α+β+max{α,β} with α/β being irrational. Note that the factorization problem, even for triangular matrix functions as above with an arbitrary trinomial f, is open. The result obtained is yet another step towards its solution.     

L-spaces and S-spaces in P(ω)

We show that CH implies that $\text{P}\text{(ω)}$, when equipped with the Vietoris topology, has a subspace which is an L-space and a subspace which is an S-space. This is an immediate consequence of the following purely combinatorial result: CH implies the existence of an ω₁-sequence 〈x_α: α < ω₁〉 in $\text{P}\text{(ω)}$ such that (1) if α<β<ω₁, then $\text{X}{}_{\mathrm{\beta }}\text{?}{}^1\text{X}{}_{\mathrm{\alpha }}$; (2) if I ?ω₁ is unaccountable, then there are distinct α, β ∈ I with X_β ?X_α.     

A lower bound for the complexity of Craig's interpolants in sentential logic

For any sentenceα (in sentential logic) letd _α be the delay complexity of the boolean functionf _α represented byα. We prove that for infinitely manyd (and starting with somed<620) there exist valid implicationsα→β withd _α,d _β≦d such that any Craig's interpolantx has its delay complexityd _χ greater thand+(1/3)·log(d/2). This is the first (non-trivial) known lower bound on the complexity of Craig's interpolants in sentential logic, whose general study may well have an impact on the central problems of computation theory.     

On Series of Ordinals and Combinatorics

This paper deals mainly with generalizations of results in finitary combinatorics to infinite ordinals. It is well-known that for finite ordinals ∑_bT<αβ is the number of 2-element subsets of an α-element set. It is shown here that for any well-ordered set of arbitrary infinite order type α, ∑_bT<αβ is the ordinal of the set M of 2-element subsets, where M is ordered in some natural way. The result is then extended to evaluating the ordinal of the set of all n-element subsets for each natural number n ≥ 2. Moreover, series ∑_β<αf(β) are investigated and evaluated, where α is a limit ordinal and the function f belongs to a certain class of functions containing polynomials with natural number coefficients. The tools developed for this result can be extended to cover all infinite α, but the case of finite α appears to be quite problematic.     

Direct sums and the Szlenk index

For α an ordinal and 1<p<∞, we determine a necessary and sufficient condition for an ?p-direct sum of operators to have Szlenk index not exceeding ωα. It follows from our results that the Szlenk index of an ?p-direct sum of operators is determined in a natural way by the behaviour of the ε-Szlenk indices of its summands. Our methods give similar results for c₀-direct sums.     

Infrared absorption spectra of ethyl,n-propyl andn-butyl stearates

X-ray K-line intensity ratiosα ₂/α ₁,β ₃/β ₁ andβ ₂ ^II /β ₂ ^I have been calculated following the method due to Payne which accounts for the retardations. In addition screening has been included. It is found thatα-line intensity ratios are given best by Sommerfeld screening but that Slater screening is better for theβ-lines. Field theoretically corrected energies have also been used and it is found that the agreement is less favourable. The necessity of including the potentials corresponding to these effects as perturbations to the wavefunctions has been pointed out.