On the vector space of 0-configurations

Let α be a rational-valued set-function on then-element sexX i.e. α(B) εQ for everyB ⫅X. We say that α defines a 0-configuration with respect toA⫅2 ^x if for everyA εA we have α(B)=0. The 0-configurations form a vector space of dimension 2 ⁿ − |A| (Theorem 1). Let 0 ≦t<k ≦n and letA={A ⫅X: |A| ≦t}. We show that in this case the 0-configurations satisfying α(B)=0 for |B|>k form a vector space of dimension , we exhibit a basis for this space (Theorem 4). Also a result of Frankl, Wilson [3] is strengthened (Theorem 6).     

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.     

Expanders obtained from affine transformations

A bipartite graphG=(U, V, E) is an (n, k, δ, α) expander if |U|=|V|=n, |E|≦kn, and for anyX⊆U with |X|≦αn, |Γ _G (X)|≧(1+δ(1−|X|/n)) |X|, whereΓ _G (X) is the set of nodes inV connected to nodes inX with edges inE. We show, using relatively elementary analysis in linear algebra, that the problem of estimating the coefficientδ of a bipartite graph is reduced to that of estimating the second largest eigenvalue of a matrix related to the graph. In particular, we consider the case where the bipartite graphs are defined from affine transformations, and obtain some general results on estimating the eigenvalues of the matrix by using the discrete Fourier transform. These results are then used to estimate the expanding coefficients of bipartite graphs obtained from two-dimensional affine transformations and those obtained from one-dimensional ones.     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

Linear series onk-gonal curves

Here we prove the following result. Theorem 1.1.Let X be an integral projective curve of arithmetic genus g and k≧ ≧4 an integer. Assume the existence of L ∈ Pic^k (X) with h ⁰ (X, L)=2 and L spanned. Fix a rank 1 torsion free sheaf M on X with h ⁰(X,M)=r+1≧2, h¹ (X, M)≧2 and M spanned by its global sections. Set d≔deg(M) and s≔max {n≧0:h ⁰ (X, M ⊗(L^*)^⊗n)>0}. Then one of the following cases occur:

Packing nearly-disjoint sets

De Bruijn and Erdős proved that ifA ₁, ...,A _k are distinct subsets of a set of cardinalityn, and |A _i ∩A _j |≦1 for 1≦i<j ≦k, andk>n, then some two ofA ₁, ...,A _k have empty intersection. We prove a strengthening, that at leastk /n ofA ₁, ...,A _k are pairwise disjoint. This is motivated by a well-known conjecture of Erdőds, Faber and Lovász of which it is a corollary. Partially supported by N. S. F. grant No. MCS—8103440     

On central division algebras

For any integern such that 8|n or for which there exists an odd primeq such thatq ²|n, there is a central division algebra of dimensionn ² over its center which is not a crossed product. The algebra constructed in this paper is the algebraQ(X ₁,…,X)_m, the algebra generated over the rationalQ bym(≧2) generic matrices. To the memory of A. A. Albert This paper was originally presented in November, 1971 for publication elsewhere in a volume in honor of Prof. A. A. Albert on the occasion of his 65th birthday. The volume was never published due to the death of Prof. Albert in June 1972.     

Factorization for non-nevanlinna classes of analytic functions

A generalization of the Blaschke product is constructed. This product enables one to factor out the zeros of the members of certain non-Nevanlinna classes of functions analytic in the unit disc, so that the remaining (non-vanishing) functions still belong to the same class. This is done for the classesA ⁻ⁿ (0<n<∞) andB ⁻ⁿ (0<n<2) defined as follows:f ∈A ⁻ⁿ iff |f(z)|≦C _f (1−|z|)⁻ⁿ ,f ∈B ⁻ⁿ iff |f(z)|≦exp {C _f (1−|z|)⁻ⁿ }, whereC _f depends onf.     

Suresums

Asuresum is a pair (A, n),A ⊂ {1, ...,n−1}, so that wheneverA is 2-colored some monochromatic set sums ton. A “finite basis” for the suresum (A, n) with |A| ≦c is proven to exist. Forc fixed, it is shown that no suresum (A, n) exist ifn is a sufficiently large prime. Generalizations tor-colorations,r>2, are discussed.     

Algebraic methods in sum-product phenomena

We classify the polynomials f(x, y) ∈ ℝ[x, y] such that, given any finite set A ⊂ ℝ, if |A + A| is small, then |f(A,A)| is large. In particular, the following bound holds: |A + A‖f(A,A)| ≳ |A|^5/2. The Bezout theorem and a theorem by Y. Stein play an important role in our proof.     

On weakly τ-quasinormal subgroups of finite groups

Let G be a finite group and H a subgroup of G. We say that: (1) H is τ-quasinormal in G if H permutes with all Sylow subgroups Q of G such that (|Q|, |H|) = 1 and (|H|, |Q ^G |) ≠ 1; (2) H is weakly τ-quasinormal in G if G has a subnormal subgroup T such that HT = G and T ∩ H ≦ H _τG , where H _τG is the subgroup generated by all those subgroups of H which are τ-quasinormal in G. Our main result here is the following. Let ℱ be a saturated formation containing all supersoluble groups and let X ≦ E be normal subgroups of a group G such that G/E ∈ ℱ. Suppose that every non-cyclic Sylow subgroup P of X has a subgroup D such that 1 < |D| < |P| and every subgroup H of P with order |H| = |D| and every cyclic subgroup of P with order 4 (if |D| = 2 and P is non-Abelian) not having a supersoluble supplement in G is weakly τ-quasinormal in G. If X is either E or F* (E), then G ∈ ℱ.     

On the <Emphasis Type="Italic">C</Emphasis>*-valued triangle equality and inequality in Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

We prove that for two elements x, y in a Hilbert C*-module V over a C*-algebra the C*-valued triangle equality |x + y| = |x| + |y| holds if and only if 〈x, y〉 = |x| |y|. In addition, if has a unit e, then for every x, y ∊ V and every ɛ > 0 there are contractions u, υ ∊ such that |x + y| ≦ u|x|u* + υ|y|υ* + ɛe.      

Isometric approximation

Suppose thatA ⊂R ⁿ is a bounded set of diameter 1 and that:f:A →l ₂ is a map satisfying the nearisometry condition |x−y|−ɛ≤|fx−fy|≤|x−y|+ɛ withɛ≤1. Then there is an isometryS:A →l ₂ such that |Sx−fx|≤c _n √ɛ for allx inA. IfA satisfies a thickness condition and iff:A →R ⁿ , then there is an isometryS:R ⁿ →R ⁿ with |Sx−fx|≤c _nɛ/q, whereq is a thickness parameter.     

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.     

Sulla funzione di Hilbert di un sottoschema zero-dimensionale diP 3

Riassunto In questo lavoro diamo una caratterizzazione aritmetica della differenza prima ΔH(X,−) della funzione di Hilbert di un sottoschema chiuso 0-dimensionaleX diP ³. Il risultato principale viene applicato per dimostrare che seX è contenuto in una completa intersezione di tipo(a, b, c), a≦b≦c allora ΔH(X, n) è decrescente pern≧a+c−2.

---

Summary In this paper we give an aritmetical characterization of the first difference ΔH(X,−) of the Hilbert function of a closed 0-dimensional subschemeX ofP ³. The main result is then applied to prove that ifX is contained in a complete intersection of type(a, b, c), a≦b≦c then ΔH(X, n) is decreasing forn≧a+c−2.

---

---

Lavoro svolto con finanziamento MPI.     

On completely reducible solvable subgroups of GL(n, Δ)

Let Δ be a finite field and denote by GL(n, Δ) the group ofn×n nonsingular matrices defined over Δ. LetR⊆GL(n, Δ) be a solvable, completely reducible subgroup of maximal order. For |Δ|≧2, |Δ|≠3 we give bounds for |R| which improve previous ones. Moreover for |Δ|=3 or |Δ|>13 we determine the structure ofR, in particular we show thatR is unique, up to conjugacy. This work is part of a Ph.D. thesis done at the Hebrew University under the supervision of Professor A. Mann.     

The subalgebra systems of direct powers

A simple characterization of the subalgebra systems of direct powers of finitary universal algebras on a fixed infinite setA is given. For |I|≥|A| such subalgebra system of anI-power is precisely an algebraic closure systemS onA ^I closed under mutations ofI (which encompass both the precomposition by permutations ofI and allowing the values at specified elements ofI to become unrestricted) and such that each function in the intersection ofS is constant. For |I|<|A| the subalgebra systems ofI-powers are obtained as the restrictions toI of such closure systems on someA ^J withJ⊇I and |J|=|A|. Presented by J. D. Monk.     

Proof of the bieberbach conjecture for a certain class of univalent functions

In the following we prove that for a given univalent function such that |a ₂| <0.867, |a _n |≦n for eachn. The method of proof is closely related to Milin’s method.     

The speed of convergence of a martingale

LetX _n, n≧0, be a martingale with respect to the σ-fieldsF _n and letB _n ² =Σ_1≧n E{(X ₁−X ₁₋₁)²|F ₁₋₁} It is known that ifB ₁ ² <∞ on some set Ω₀ thenX _∞=limX _n exists and is finite a.e. on Ω₀ We show that under suitable conditions there exists a constant ν<∞ for which lim supB _n ⁻¹ {log logB _n ² }^−1/2|X _∞−X _n−1 | ≦ √2(η+1). If “the fluctuations ofB _n are small” (in the sense of the Corollary) then ν=0 and the usual upper bound of a law of the iterated logrithm results. This upper bound is not necessarily achieved, though. Research supported in part by the NSF under Grant No. MCS 72-04534A04.     

Regular modules and quasi-lengths over a 3-Kronecker quiver: using Fibonacci numbers

Let Q be a 3-Kronecker quiver (i.e., two vertices and three arrows having the same starting and ending vertices). The dimension vectors of the indecomposable regular representations X such that |X| = |τ ⁱ X| will be studied using the Fibonacci numbers, where |X| denotes the length of X and τ denotes the Auslander–Reiten translation. The quasi-lengths of the indecomposable regular representations with dimension vectors (m, m) and (2m, m) will also be discussed.