EKR type inequalities for 4-wise intersecting families

Let 1?t?7 be an integer and let F be a k-uniform hypergraph on n vertices. Suppose that |A∩B∩C∩D|?t holds for all A,B,C,D∈F. Then we have if holds for some ε>0 and all n>n₀(ε). We apply this result to get EKR type inequalities for “intersecting and union families” and “intersecting Sperner families.”     

A multiply intersecting Erd?s-Ko-Rado theorem — The principal case

Let m(n,k,r,t) be the maximum size of satisfying |F₁∩?∩F_r|≥t for all F₁,…,F_r∈F. We prove that for every p∈(0,1) there is some r₀ such that, for all r>r₀ and all t with 1≤t≤⌊(p^1−r−p)/(1−p)⌋−r, there exists n₀ so that if n>n₀ and p=k/n, then . The upper bound for t is tight for fixed p and r.     

Davenport constant with weights and some related questions, II

Let G be a finite abelian group of order n and let A⊆Z be non-empty. Generalizing a well-known constant, we define the Davenport constant of G with weight A, denoted by DA(G), to be the least natural number k such that for any sequence (x₁,…,xk) with xi∈G, there exists a non-empty subsequence (xj₁,…,xjl) and a₁,…,al∈A such that . Similarly, for any such set A, EA(G) is defined to be the least t∈N such that for all sequences (x₁,…,xt) with xi∈G, there exist indices j₁,…,jn∈N,1?j₁<?<jn?t, and ?₁,…,?n∈A with . In the present paper, we establish a relation between the constants DA(G) and EA(G) under certain conditions. Our definitions are compatible with the previous generalizations for the particular group G=Z/nZ and the relation we establish had been conjectured in that particular case.     

On a property of plane curves

Let γ:[0,1]→²[0,1] be a continuous curve such that γ(0)=(0,0), γ(1)=(1,1), and γ(t)∈²(0,1) for all t∈(0,1). We prove that, for each n∈N, there exists a sequence of points Ai, 0?i?n+1, on γ such that A₀=(0,0), An+1=(1,1), and the sequences and , 0?i?n, are positive and the same up to order, where π₁, π₂ are projections on the axes.     

On zero varieties of holomorphic functions in Hardy spaces

In contrast to the famous Henkin-Skoda theorem concerning the zero varieties of holomorphic functions in the Nevanlinna class on the open unit ball B_n in , n?2, it is proved in this article that for any nonnegative, increasing, convex function ?(t) defined on , there exists satisfying such that there is no f∈H^p(B_n), 0<p<∞, with . Here N_g(ζ,1) denotes the integrated zero counting function associated with the slice function g_ζ. This means that the zero sets of holomorphic functions belonging to the Hardy spaces H^p(B_n), 0<p<∞, unlike that of the holomorphic functions in the Nevanlinna class, cannot be characterized in the above manner.     

Erd?s-Ko-Rado for three sets

Fix integers k?3 and n?3k/2. Let F be a family of k-sets of an n-element set so that whenever A,B,C∈F satisfy |A∪B∪C|?2k, we have A∩B∩C≠∅. We prove that with equality only when ?_F∈FF≠∅. This settles a conjecture of Frankl and Füredi [2], who proved the result for n?k²+3k.     

A simple proof for a theorem of Luxemburg and Zaanen

In this paper a simple proof for the following theorem, due to Luxemburg and Zaanen is given: an Archimedean vector lattice A is Dedekind σ-complete if and only if A has the principal projection property and A is uniformly complete. As an application, we give a new and short proof for the following version of Freudenthal's spectral theorem: let A be a uniformly complete vector lattice with the principal projection property and let 0<u∈A. For any element w in A such that 0?w?u there exists a sequence in A which satisfies , where each element sn is of the form , with real numbers α₁,…,αk such that 0?αi?1 (i=1,…,k) and mutually disjoint components p₁,…,pk of u.     

A short proof of a cross-intersection theorem of Hilton

Families A₁,…,A_k of sets are said to be cross-intersecting if for any A_i∈A_i and A_j∈A_j, i≠j. A nice result of Hilton that generalises the Erd?s-Ko-Rado (EKR) Theorem says that if r≤n/2 and A₁,…,A_k are cross-intersecting sub-families of , then

     

A link between the Perron-Frobenius theorem and Perron’s theorem for difference equations

Let A_n,n∈N, be a sequence of k×k matrices which converge to a matrix A as n→∞. It is shown that if x_n,n∈N, is a sequence of nonnegative nonzero vectors such that

     

Note on integer powers in sumsets

Let k,m,n?2 be integers. Let A be a subset of {0,1,…,n} with 0∈A and the greatest common divisor of all elements of A is 1. Suppose that

     

Centers for a 6-parameter family of polynomial vector fields of arbitrary degree

For all non-negative integers n₁,n₂,n₃,j₁,j₂ and j₃ with nk+jk>1 for k=1,2,3, (nk,jk)≠(nl,jl) if k≠l, j₃=n₃−1 and jk≠nk−1 for k=1,2, we study the center variety of the 6-parameter family of real planar polynomial vector given, in complex notation, by , where z=x+iy and A,B,C∈C\{0}.     

Some identities involving theta functions

Let (|q|<1). For k∈N it is shown that there exist k rational numbers A(k,0),…,A(k,k−1) such that

     

A measure-theoretic proof of Turing incomparability

We prove that if S is an ω-model of weak weak König’s lemma and , is incomputable, then there exists , such that A and B are Turing incomparable. This extends a recent result of Ku?era and Slaman who proved that if S₀ is a Scott set (i.e. an ω-model of weak König’s lemma) and A∈S₀, A⊆ω, is incomputable, then there exists B∈S₀, B⊆ω, such that A and B are Turing incomparable.