Uniformly cross intersecting families

Let A and B denote two families of subsets of an n-element set. The pair (A,B) is said to be ℓ-cross-intersecting iff |A∩B|=ℓ for all A∈ A and B∈B. Denote by P _e (n) the maximum value of |A||B| over all such pairs. The best known upper bound on P _e (n) is Θ(2 ⁿ ), by Frankl and R?dl. For a lower bound, Ahlswede, Cai and Zhang showed, for all n ≥ 2ℓ, a simple construction of an ℓ-cross-intersecting pair (A,B) with |A||B| = $ \left( {{*{20}c} {2\ell } \\ \ell \\ } \right) $ \left( {\begin{array}{*{20}c} {2\ell } \\ \ell \\ \end{array} } \right) 2 ^n−2ℓ = Θ(2 ⁿ /$ \sqrt \ell $ \sqrt \ell ), and conjectured that this is best possible. Consequently, Sgall asked whether or not P _e (n) decreases with ℓ.     

Schur multiplier characterization of a class of infinite matrices

Let B _w (ℓ ^p ) denote the space of infinite matrices A for which A(x) ∈ ℓ ^p for all x = {x _k } _k=1^∞ ∈ ℓ ^p with |x _k | ↘ 0. We characterize the upper triangular positive matrices from B _w (ℓ ^p ), 1 < p < ∞, by using a special kind of Schur multipliers and the G. Bennett factorization technique. Also some related results are stated and discussed.     

On pointwise and analytic similarity of matrices

LetA(ε) andB(ε) be complex valued matrices analytic in ε at the origin.A(ε)≈ _p B(ε) ifA(ε) is similar toB(ε) for any |ε|<r,A(ε)≈_a B(ε) ifB(ε)=T(ε)A(ε)T ⁻¹(ε) andT(ε) is analytic and |T(ε)|≠0 for |ε|<r! In this paper we find a necessary and sufficient conditions onA(ε) andB(ε) such thatA(ε)≈ _a B(ε) provided thatA(ε)≈ _p B(ε). This problem arises in study of certain ordinary differential equations singular with respect to a parameter ε in the origin and was first stated by Wasow. Sponsored by the United States Army under Contract No. DAAG29-75-C-0024     

Counting points in hypercubes and convolution measure algebras

It is shown that ifA andB are non-empty subsets of {0, 1} ⁿ (for somenεN) then |A+B|≧(|A||B|)^α where α=(1/2) log₂ 3 here and in what follows. In particular if |A|=2 ^n-1 then |A+A|≧3 ^n-1 which anwers a question of Brown and Moran. It is also shown that if |A| = 2 ^n-1 then |A+A|=3 ^n-1 if and only if the points ofA lie on a hyperplane inn-dimensions. Necessary and sufficient conditions are also given for |A +B|=(|A||B|)^α. The above results imply the following improvement of a result of Talagrand [7]: ifX andY are compact subsets ofK (the Cantor set) withm(X),m(Y)>0 then λ(X+Y)≧2(m(X)m(Y))^α wherem is the usual measure onK and λ is Lebesgue measure. This also answers a question of Moran (in more precise terms) showing thatm is not concentrated on any proper Raikov system.     

Complete positivity,tensor products and C*-nuclearity for inverse limits of C*-algebras

The paper aims at developing a theory of nuclear (in the topological algebraic sense) pro-C^*-algebras (which are inverse limits of C^*-algebras) by investigating completely positive maps and tensor products. By using the structure of matrix algebras over a pro-C^*-algebra, it is shown that a unital continuous linear map between pro-C^*-algebrasA andB is completely positive iff by restriction, it defines a completely positive map between the C^*-algebrasb(A) andb(B) consisting of all bounded elements ofA andB. In the metrizable case,A andB are homeomorphically isomorphic iff they are matricially order isomorphic. The injective pro-C^*-topology α and the projective pro-C^*-topology v on A⊗B are shown to be minimal and maximal pro-C^*-topologies; and α coincides with the topology of biequicontinous convergence iff eitherA orB is abelian. A nuclear pro-C^*-algebraA is one that satisfies, for any pro-C^*-algebra (or a C^*-algebra)B, any of the equivalent requirements; (i) α =v onA ⊗B (ii)A is inverse limit of nuclear C^*-algebras (iii) there is only one admissible pro-C^*-topologyon A⊗B (iv) the bounded partb(A) ofA is a nuclear C⊗-algebra (v) any continuous complete state map A→B^* can be approximated in simple weak^* convergence by certain finite rank complete state maps. This is used to investigate permanence properties of nuclear pro-C^*-algebras pertaining to subalgebras, quotients and projective and inductive limits. A nuclearity criterion for multiplier algebras (in particular, the multiplier algebra of Pedersen ideal of a C^*-algebra) is developed and the connection of this C^*-algebraic nuclearity with Grothendieck’s linear topological nuclearity is examined. A σ-C^*-algebraA is a nuclear space iff it is an inverse limit of finite dimensional C^*-algebras; and if abelian, thenA is isomorphic to the algebra (pointwise operations) of all scalar sequences.     

SCORE LISTS IN （h, k）-BIPARTITE HYPERTOURNAMENTS

Given non-negative integers m,n,h and k with m ≥ h ＞ 1 and n ≥ k ＞ 1, an (h, k)-bipartite hypertournament on m n vertices is a triple (U, V, A), where U and V are two sets of vertices with |U| = m and |V| = n, and A is a set of (h k)-tuples of vertices,called arcs, with at most h vertices from U and at most k vertices from V, such that for any h k subsets U1 ∪ V1 of U ∪ V, A contains exactly one of the (h k)! (h k)-tuples whose entries belong to U1 ∪ V1. Necessary and sufficient conditions for a pair of non-decreasing sequences of non-negative integers to be the losing score lists or score lists of some(h, k)-bipartite hypertournament are obtained.     

The triadjoint of an orthosymmetric bimorphism

Let A and B be two Archimedean vector lattices and let (A′)′ _n and (B′)′ _n be their order continuous order biduals. If Ψ: A × A → B is a positive orthosymmetric bimorphism, then the triadjoint Ψ***: (A′)′ _n × (A′)′ _n → (B′)′ _n of Ψ is inevitably orthosymmetric. This leads to a new and short proof of the commutativity of almost f-algebras.     

Rigidity of commutators and elementary operators on Calkin algebras

LetA=(A ₁,...,A _n ),B=(B ₁,...,B _n )εL(ℓ ^p ) ⁿ be arbitraryn-tuples of bounded linear operators on (ℓ ^p ), with 1<p<∞. The paper establishes strong rigidity properties of the corresponding elementary operators ε _a,b on the Calkin algebraC(ℓ ^p )≡L(ℓ ^p )/K(ℓ ^p ); , where quotient elements are denoted bys=S+K(ℓ ^p ) forSεL(ℓ ^p ). It is shown among other results that the kernel Ker(ε _a,b ) is a non-separable subspace ofC(ℓ ^p ) whenever ε _a,b fails to be one-one, while the quotient is non-separable whenever ε _a,b fails to be onto. These results extend earlier ones in several directions: neither of the subsets {A ₁,...,A _n }, {B ₁,...,B _n } needs to consist of commuting operators, and the results apply to other spaces apart from Hilbert spaces. Supported by the Academy of Finland, Project 32837.     

Table algebras with multiple P-polynomial structures

Using covering numbers we prove that a standard real integral table algebra (A, B) with |B| ≥ 6 has a P-polynomial structure with respect to every b ≠ 1 in B if and only if 2|B|-1 is prime and (A, B) is exactly isomorphic to the Bose-Mesner algebra of the association scheme of the ordinary (2|B|-1)-gon. Then we present an example showing that this result is not true if |B| ≤ 5.     

On completely multiplicative functions whose values are roots of unity

Summary We prove that if a complex valued completely multiplicative function F and a positive integer ℓ≦5 satisfy the condition F(N) = U_ℓ, where U_ℓ is the set of all ℓ-th roots of unity, then {F(n+1) F(n) ∣ nε N} = U_ℓ.     

Bands of invariantly extensible measures

Given two σ-algebrasU ⊂A, invariant under a fixed semigroupG of transformations, the following subsetC of the lattice coneM (U) _G ofG-invariant finite measures onU is shown to be (the positive part of) a band inM (U) _G : AG-invariant measure μ belongs toC iff the setexM Bμ) _G of extremalG-invariant extensions of μ toB is non-empty and eachG-invariant extensionv of μ admits a barycentric decompositionv=→v′ρ(dv′) with some representing probability ρ onexM U μ) _G .—Any band of extensible measures allows to study the corresponding extension problem locally.     

Version of the Grothendieck theorem for subspaces of analytic functions in lattices

A version of Grothendieck’s inequality says that any bounded linear operator acting from a Banach lattice X to a Banach lattice Y acts from X(ℓ²) to Y (ℓ²) as well. A similar statement is proved for Hardy-type subspaces in lattices of measurable functions. Namely, let X be a Banach lattice of measurable functions on the circle, and let an operator T act from the corresponding subspace of analytic functions X_A to a Banach lattice Y or, if Y is also a lattice of measurable functions on the circle, to the quotient space Y/Y_A. Under certain mild conditions on the lattices involved, it is proved that T induces an operator acting from X_A(ℓ²) to Y (ℓ²) or to Y/Y_A(ℓ2), respectively. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 5–16.     

Generalizations of pseudo MV-algebras and generalized pseudo effect algebras

We deal with unbounded dually residuated lattices that generalize pseudo MV-algebras in such a way that every principal order-ideal is a pseudo MV-algebra. We describe the connections of these generalized pseudo MV-algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo MV-algebra A by means of the positive cone of a suitable ℓ-group G _A . We prove that the lattice of all (normal) ideals of A and the lattice of all (normal) convex ℓ-subgroups of G _A are isomorphic. We also introduce the concept of Archimedeanness and show that every Archimedean generalized pseudo MV-algebra is commutative. Supported by the Research and Development Council of the Czech Govenrment via the project MSM6198959214.     

On branch points of three-dimensional mappings with unbounded characteristic of quasiconformality

For open discrete mappings f:D\{ b } ? \mathbbR³ f:D\backslash \left\{ b \right\} \to {\mathbb{R}^3} of a domain D ì \mathbbR³ D \subset {\mathbb{R}^3} satisfying relatively general geometric conditions in D \ {b} and having an essential singularity at a point b ? \mathbbR³ b \in {\mathbb{R}^3} , we prove the following statement: Let a point y ₀ belong to [`(\mathbbR³)] \f( D\{ b } ) \overline {{\mathbb{R}^3}} \backslash f\left( {D\backslash \left\{ b \right\}} \right) and let the inner dilatation K _I (x, f) and outer dilatation K _O (x, f) of the mapping f at the point x satisfy certain conditions. Let B _f denote the set of branch points of the mapping f. Then, for an arbitrary neighborhood V of the point y ₀, the set V ∩ f(B _f ) cannot be contained in a set A such that g(A) = I, where I = { t ? \mathbbR:| t | < 1 } I = \left\{ {t \in \mathbb{R}:\left| t \right| < 1} \right\} and g:U ? \mathbbRⁿ g:U \to {\mathbb{R}^n} is a quasiconformal mapping of a domain U ì \mathbbRⁿ U \subset {\mathbb{R}^n} such that A ⊂ U.     

Lower bound on the profile of degree pairs in cross-intersecting set systems

We raise the following problem. For natural numbers m, n ≥ 2, determine pairs d′, d″ (both depending on m and n only) with the property that in every pair of set systems A, B with |A| ≤ m, |B| ≤ n, and A ∩ B ≠ 0 for all A ∈ A, B ∈ B, there exists an element contained in at least d′ |A| members of A and d″ |B| members of B. Generalizing a previous result of Kyureghyan, we prove that all the extremal pairs of (d′, d″) lie on or above the line (n − 1) x + (m − 1) y = 1. Constructions show that the pair (1 + ɛ / 2n − 2, 1 + ɛ / 2m − 2) is infeasible in general, for all m, n ≥ 2 and all ɛ > 0. Moreover, for m = 2, the pair (d′, d″) = (1 / n, 1 / 2) is feasible if and only if 2 ≤ n ≤ 4. The problem originates from Razborov and Vereshchagin’s work on decision tree complexity. Research supported in part by the Hungarian Research Fund under grant OTKA T-032969.     

On Some Rational Triangles

We prove that every set of n ≥ 3 points in \mathbbR²{\mathbb{R}^2} can be slightly perturbed to a set of n points in \mathbbQ²{\mathbb{Q}^2} so that at least 3(n − 2) of mutual distances between those new points are rational numbers. Some special rational triangles that are arbitrarily close to a given triangle are also considered. Given a triangle ABC, we show that for each ε > 0 there is a triangle A′B′C′ with rational sides and at least one rational median such that |AA′|, |BB′|, |CC′| < ε and a Heronian triangle A′′B′′C′′ with three rational internal angle bisectors such that A^￠￠, B^￠￠, C^￠￠ ? \mathbbQ²{A^{\prime\prime}, B^{\prime\prime}, C^{\prime\prime} \in \mathbb{Q}^2} and |AA′′|, |BB′′|, |CC′′| < ε.     

Sufficiency and completeness for classes of probability distributions generated by a single probability distribution

Let (Ω,A, P₀) denote a probability space andA some sub-σ-algebra ofA. Moreover,P _{P 0} stands for the set consisting of all probability distributionsP _{P 0} of the typeP _{P 0}(A) = ∫E _{P 0} (P _{A |B)dP,A ∈A, whereP is a probability distribution onA satisfyingP |B ≪P 0} |B. It is shown thatB is sufficient and (even totally) complete forP _{P 0}. This results is illustrated by examples. Finally, it is shown thatP _{P 0} ∈P _{P 0} is an extremal point ofP _{P 0} if and only ifP |B is {0, 1}-valued. Dedicated to the memory of Professor K. Behnen     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

On almost-divided domains

Let B be a domain, Q a maximal ideal of B, π: B → B/Q the canonical surjection, D a subring of B/Q, and A:=π ⁻¹(D). If both B and D are almost-divided domains (resp., n-divided domains), then A = B × _B/Q D is an almost-divided domain (resp., an n-divided domain); the converse holds if B is quasilocal. If 2 ≤ d ≤ ∞, an example is given of an almost-divided domain of Krull dimension d which is not a divided domain.      

A sum formula for the Casson-Walker invariant

We study the following question: How does the Casson-Walker invariant λ of a rational homology 3-sphere obtained by gluing two pieces along a surface depend on the two pieces? Our partial answer may be stated as follows. For a compact oriented 3-manifold A with boundary ∂A, the kernel L _A of the map from H ₁(∂A;Q) to H ₁(A;Q) induced by the inclusion is called the Lagrangian of A. Let Σ be a closed oriented surface, and let A, A′, B and B′ be four rational homology handlebodies such that ∂A, ∂A′, −∂B and −∂B′ are identified via orientation-preserving homeomorphisms with Σ. Assume that L _A = L _{A ′} and L _B = L _{B ′} inside H ₁(Σ;Q) and also assume that L _A and L _B are transverse. Then we express