Essentially disjoint families, conflict free colorings and Shelah’s revised GCH

Using Shelah’s revised GCH theorem we prove that if μ<? _ω ≦λ are cardinals, then every μ-almost disjoint family ${\mathcal{A}}\subset {[\lambda]}^{\beth_{\omega}}$ is essentially disjoint, i.e. for each ${A\in {\mathcal{A}}}$ there is a set F(A)∈[A]^<|A| such that the family $\{{A\setminus F(A)}: {A\in {\mathcal{A}}}\}$ is disjoint. We also show that if μ≦κ≦λ are cardinals, κ≧ω, and

• every μ-almost disjoint family ${\mathcal{A}}\subset {[\lambda]}^{{\kappa}}$ is essentially disjoint,

then

• every μ-almost disjoint family ${\mathcal {B}}\subset {[\lambda]}^{\geqq {\kappa}}$ has a conflict-free coloring with κ colors, i.e. there is a coloring f:λ→κ such that for all ${B\in {\mathcal{B}}}$ there is a color ξ<κ such that |{β∈B:f(β)=ξ}|=1.

Putting together these results we obtain that if μ<? _ω ≦λ, then every μ-almost disjoint family ${{\mathcal{B}}\subset {[\lambda]}^{\geqq \beth_{\omega}}}$ has a conflict-free coloring with ? _ω colors. To yield the above mentioned results we also need to prove a certain compactness theorem concerning singular cardinals.     

Non-saturation of the nonstationary ideal on P κ (λ) in case κ ≤ cf (λ) < λ

Given a regular cardinal κ > ω ₁ and a cardinal λ with κ?≤ cf (λ) < λ, we show that NS _κ,λ | T is not λ⁺-saturated, where T is the set of all ${a\in P_\kappa (\lambda)}$ such that ${| a | = | a \cap \kappa|}$ and ${{\rm cf} \big( {\rm sup} (a\cap\kappa)\big) = {\rm cf} \big({\rm sup} (a)\big) = \omega}$ .     

Ranges of certain functionals in classes of regular functions

LetP _κ,n (λ,β) be the class of functions \(g(z) = 1 + \sum\nolimits_{v = n}^\infty {c_\gamma z^v }\) , regular in ¦z¦<1 and satisfying the condition $$\int_0^{2\pi } {\left| {\operatorname{Re} \left[ {e^{i\lambda } g(z) - \beta \cos \lambda } \right]} \right|} /\left( {1 - \beta } \right)\cos \lambda \left| {d\theta \leqslant \kappa \pi ,} \right.z = re^{i\theta } ,$$ , 0 < r < 1 (κ?2,n?1, 0?Β<1, -π<λ<π/2;M _κ,n (λ,β,α),n?2, is the class of functions \(f(z) = z + \sum\nolimits_{v = n}^\infty {a_v z^v }\) , regular in¦z¦<1 and such thatF _α(z)∈P _κ,n?1(λ,β), where \(F_\alpha (z) = (1 - \alpha )\frac{{zf'(z)}}{{f(z)}} + \alpha (1 + \frac{{zf'(z)}}{{f'(z)}})\) (0?α?1). Onr considers the problem regarding the range of the system {g ^(v?1)(z_?)/(v?1)!}, ?=1,2,...,m,v=1,2,...,N _?, on the classP _κ,1(λ,β). On the classesP _κ,n (λ,β),M _κ,n (λ,β,α) one finds the ranges of C_v, v?n, a_m, n?m?2n-2, and ofg(?),F _?(?), 0<¦ξ¦<1, ξ is fixed.     

On the divergence of de la Vallée Poussin means of Fourier series

Пусть {λ _{n 1} ^t8 — монотонн ая последовательнос ть натуральных чисел. Дл я каждой функции fεL(0, 2π) с рядом Фурье строятся обобщенные средние Bалле Пуссена $$V_n^{(\lambda )} (f;x) = \frac{{a_0 }}{2} + \mathop \sum \limits_{k = 1}^n (a_k \cos kx + b_k \sin kx) + \mathop \sum \limits_{k = n + 1}^{n + \lambda _n } \left( {1 - \frac{{k - n}}{{\lambda _n + 1}}} \right)\left( {a_k \cos kx + b_k \sin kx} \right).$$ Доказываются следую щие теоремы.

1. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность {V_n ^(λ)(?;x)} расходится почти вс юду.
2. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность $$\left\{ {\frac{1}{\pi }\mathop \smallint \limits_{ - \pi /\lambda _n }^{\pi /\lambda _n } f(x + t)\frac{{\sin (n + \tfrac{1}{2})t}}{{2\sin \tfrac{1}{2}t}}dt} \right\}$$ расходится почти всю ду

.     

On the properties of the strong Cesàro summability and strong convergence of series

Говорят, что ряд \(\mathop \sum \limits_{k = 0}^\infty a_k \) сумм ируется к s в смысле (С, gа), gа >?1, если $$\sigma _n^{(k)} - s = o(1),n \to \infty ,$$ в смысле [C,α] _λ , α<0, λ>0, если $$\frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n \left| {\sigma _k^{(\alpha - 1)} - s} \right|^\lambda = o(1),n \to \infty ,$$ и в смысле [C,0] _λ , λ>0, если $$\frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n \left| {(k + 1)(s_k - 1) - k(s_{k - 1} - 1)} \right|^\lambda = o(1),n \to \infty ,$$ где σ _n ^(α) обозначаетn-ое ч езаровское среднее р яда. Суммируемость [C,α] _λ , α>?1, λ ≧1 о значает, что $$\mathop \sum \limits_{k = 0}^\infty k^{\lambda - 1} \left| {\sigma _k^{(\alpha )} - \sigma _{k - 1}^{(\alpha )} } \right|^\lambda< \infty .$$ В данной статье содер жится продолжение ис следований свойств [C,α] _λ -суммиру емо сти, которые начали Винн, Х ислоп, Флетт, Танович-М иллер и автор, в частности свя зей между указанными методами суммирования. Наконец, даны некотор ые простые приложени я к вопросам суммируемости ортог ональных рядов.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Slicing Sets and Measures, and the Dimension of Exceptional Parameters

We consider the problem of slicing a compact metric space Ω with sets of the form $\pi_{\lambda}^{-1}\{t\}$ , where the mappings π _λ :Ω→?, λ∈?, are generalized projections, introduced by Yuval Peres and Wilhelm Schlag in 2000. The basic question is: Assuming that Ω has Hausdorff dimension strictly greater than one, what is the dimension of the “typical” slice $\pi_{\lambda}^{-1}\{t\}$ , as the parameters λ and t vary. In the special case of the mappings π _λ being orthogonal projections restricted to a compact set Ω??², the problem dates back to a 1954 paper by Marstrand; he proved that for almost every λ there exist positively many t∈? such that $\dim\pi_{\lambda }^{-1}\{t\} = \dim\varOmega- 1$ . For generalized projections, the same result was obtained 50 years later by Järvenpää, Järvenpää and Niemelä. In this paper, we improve the previously existing estimates by replacing the phrase “almost all λ” with a sharp bound for the dimension of the exceptional parameters.     

Uniform boundedness inL p (p=p(x)) of some families of convolution operators

Suppose that a measurable 2π-periodic essentially bounded function (the kernel) κ_λ =κ_λ(x) is given for any realλ≥1. We consider the following linear convolution operator inL ^p: $$\kappa _\lambda = \kappa _\lambda f = (\kappa _\lambda f)(x) = \int_{ - \pi }^\pi {f(t)} k_\lambda (t - x) dt.$$ Uniform boundedness of the family of operators {Κ_λ}_λ≥1 is studied. Conditions on the variable exponentp=p(x) and on the kernel κ_λ that ensure the uniform boundedness of the operator family {Κ_λ}_λ≥1 inL ^p are obtained. The condition on the exponentp=p(x) is given in its final form.     

О рядах по системе Фра нклина

In this paper some basis properties are proved for the series with respect to the Franklin system, which are analogous to those of the series with respect to the Haar system. In particular, the following statements hold:

1. The Franklin series \(\mathop \Sigma \limits_{n = 0}^\infty a_n f_n (x)\) converges a.e. onE if and only if \(\mathop \Sigma \limits_{n = 0}^\infty a_n^2 f_n^2 (x)< + \infty \) a.e. onE;
2. If the series \(\mathop \Sigma \limits_{n = 0}^\infty a_n f_n (x)\) , with coefficients ¦a _n ¦↓0, converges on a set of positive measure, then it is the Fourier-Franklin series of some function from \(\bigcap\limits_{p< \infty } {L_p } \) ;
3. The absolute convergence at a point for Fourier—Franklin series is a local property;
4. If an integrable function (fx) has a discontinuity of the first kind atx=x ₀, then its Fourier-Franklin series diverges atx=x ₀.

     

Noise correlation bounds for uniform low degree functions

We study correlation bounds under pairwise independent distributions for functions with no large Fourier coefficients. Functions in which all Fourier coefficients are bounded by δ are called δ-uniform. The search for such bounds is motivated by their potential applicability to hardness of approximation, derandomization, and additive combinatorics. In our main result we show that $\operatorname{\mathbb {E}}[f_{1}(X_{1}^{1},\ldots,X_{1}^{n}) \ldots f_{k}(X_{k}^{1},\ldots,X_{k}^{n})]$ is close to 0 under the following assumptions:

the vectors $\{ (X_{1}^{j},\ldots,X_{k}^{j}) : 1 \leq j \leq n\}$ are independent identically distributed, and for each j the vector $(X_{1}^{j},\ldots,X_{k}^{j})$ has a pairwise independent distribution;

the functions f _i are uniform;

the functions f _i are of low degree.

We compare our result with recent results by the second author for low influence functions and to recent results in additive combinatorics using the Gowers norm. Our proofs extend some techniques from the theory of hypercontractivity to a multilinear setup.     

Multivariate Hörmander-Type Multiplier Theorem for the Hankel transform

Let $\mathcal{H}(f)(x)=\int_{(0,\infty)^{d}} f(\lambda) E_{x}(\lambda) d\nu(\lambda )$ , be the multivariate Hankel transform, where $E_{x}(\lambda)=\prod_{k=1}^{d} (x_{k} \lambda_{k})^{-\alpha _{k}+1/2}J_{\alpha_{k}-1/2}(x_{k} \lambda_{k})$ , with dν(λ)=λ ^2α dλ, α=(α ₁,…,α _d ). We give sufficient conditions on a bounded function m(λ) which guarantee that the operator $\mathcal{H}(m\mathcal{H} f)$ is bounded on L ^p (dν) and of weak-type (1,1), or bounded on the Hardy space H ¹((0,∞) ^d ,dν) in the sense of Coifman-Weiss.     

A convexity property and a new characterization of Euler’s gamma function

Our main results are:

1. Let α ≠ 0 be a real number. The function (Γ ? exp) ^α is convex on ${\mathbf{R}}$ if and only if $$\alpha \geq \max_{0<{t}<{x_0}}\Big(-\frac{1}{t\psi(t)} - \frac{\psi'(t)}{\psi(t)^2}\Big) = 0.0258... .$$ Here, x ₀ = 1.4616... denotes the only positive zero of ${\psi = \Gamma'/\Gamma}$ .

1. Assume that a function f: (0, ∞) → (0, ∞) is bounded from above on a set of positive Lebesgue measure (or on a set of the second category with the Baire property) and satisfies $$f(x+1) = x f(x) \quad{\rm for}\quad{x > 0}\quad{\rm and}\quad{f(1) = 1}.$$

If there are a number b and a sequence of positive real numbers (a _n ) ${(n \in \mathbf{N})}$ with ${{\rm lim}_{n\to\infty} a_n =0}$ such that for every n the function ${(f \circ {\rm exp})^{a_n}}$ is Jensen convex on (b, ∞), then f is the gamma function.     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

Bemerkungen zu einem Satz von Fejér

Последовательность {ita_k} _(n) ^k =1/∞ вещественных ч исел называется дважды мо нотонной, еслиa _k -2a _k+1 +a _k+2 ≧0 дляk≧1. В работе доказываютс я следующие утвержде ния, являющиеся обобщени ем двух теорем Фейера:

1. Если {ita_k — дважды моно тонная последовател ьность, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^n {a_\kappa z^\kappa } > 1/2$$ дляи≧ 1.
2. Если О≦β<1 и последова тельность (k+1-2β)ak} дважд ы монотонна, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {ka_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } > \beta $$ , то есть $$\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } \varepsilon S_\beta ^\kappa $$ . При помощи 2) получены о бобщения и уточнения теорем из работы [1] о линейных комбинациях некотор ых однолистных функц ий.

     

Endpoint bounds for an analytic family of maximal functions

In this paper,for the plane curve T=.we define an analytic family of maximal functions asso-ciated to T asM_2f(λ)=sup_n>oh~-1∫_R相似文献   

Strong tree properties for two successive cardinals

An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ?≥ κ. We prove that if there is a model of ZFC with two supercompact cardinals, then there is a model of ZFC where simultaneously ${(\aleph_2, \mu)}$ -ITP and ${(\aleph_3, \mu')}$ -ITP hold, for all ${\mu\geq \aleph_2}$ and ${\mu'\geq \aleph_3}$ .     

Ultrafilters,independent collections,and applications to topology

The following are consequences of the main results in this paper:

• 1.(1) The number of countably compact, completely regular spaces of density κ is 2^22κ.
• 2.(2) There are 2^2κ points in U(κ) (= space of uniform ultrafilters on κ), each of which has tightness 2^κ in U(κ) and is a limit point of a countable subset of U(κ).
• 3.(3) There are 2^2κ points in U(κ), each of which has tightness 2^κ and is a weak P-point of κ¹.
• 4.(4) For each λ ⩽ κ there are at least 2^2λ · κ points in βκ, each of which has tightness 2^λ in β κ and is a weak P-point of κ¹. Moreover, under GCH there are at least 2^2λ · κ^λ such points.

     

On the limit superior of sequences of sets

qVЕРхНИИ пРЕДЕл пОслЕД ОВАтЕльНОстИ МНОжЕс тВA _n ОпРЕДЕльЕтсь сООтНО шЕНИЕМ \(\mathop {\lim sup}\limits_{n \to \infty } A_n = \mathop \cap \limits_{k = 1}^\infty \mathop \cup \limits_{n = k}^\infty A_n . B\) стАтьЕ РАссМАтРИВА Етсь слЕДУУЩИИ ВОпРО с: ЧтО МОжНО скАжАть О ВЕРхНИх пРЕДЕлАх \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) , еслИ ИжВЕстНО, ЧтО пРЕсЕЧЕНИь \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) «МАлы» Дль кАж-ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) ? ДОкАжыВАЕтсь, Ч тО

1. ЕслИ \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — кОНЕЧНОЕ МНО жЕстВО Дль кАжДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО НАИДЕтсь тАкАь пОДпО слЕДОВАтЕльНОсть, Дл ь кОтОРОИ МНОжЕстВО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) сЧЕтНО;
2. ЕслИ \(2^{\aleph _0 } = \aleph _1\) , тО сУЩЕстВУЕ т тАкАь пОслЕДОВАтЕл ьНОсть (A_n), ЧтО \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО Дль лУБОИ п ОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , НО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) ИМЕЕт МОЩ-НОсть кОНтИНУУМА;
3. ЕслИA _n — БОРЕлЕ ВскИЕ МНОжЕстВА В НЕкОтОРО М пОлНОМ сЕпАРАБЕльНО М МЕтРИЧЕскОМ пРОстРАНстВЕ, И \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕт НОЕ МНОжЕстВО Дль кАж ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО сУЩЕстВУЕт тАкАь п ОДпОслЕДОВАтЕльНОсть, ЧтО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО. кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (A _n ) сУЩЕстВУЕт схОДьЩА ьсь пОДпОслЕДОВАтЕльНО сть.

кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (А _n ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

Radford’s Biproducts for Hopf Group-Coalgebras and Its Quasitriangular Structures

Let π be a group and H={H _α } _α∈π be a semi-Hopf π-coalgebra in the sense of Virelizier (J. Pure Appl. Algebra 171:75–122, 2002). Let H coact weakly on a coalgebra B and λ={λ _α,β :B?H _α ?H _β } be a family of k-linear maps. Then in this paper we first introduce the notion of a π-crossed coproduct $B\times_{\lambda }^{\pi}H=\{B\times_{\lambda }H_{\alpha }\}_{\alpha \in \pi }$ and find some sufficient and necessary conditions making it into a π-coalgebra, generalizing the main construction in Lin (Commun. Algebra 10:1–17, 1982). Secondly, we find a sufficient and necessary condition for $B_{\#^{\pi}}^{\times_{\lambda }^{\pi}} H$ , with the π-crossed coproduct $B\times_{\lambda }^{\pi}H$ and π-smash product B# ^π H to form a semi-Hopf π-coalgebra, if λ is convolution invertible dual 2-cocycle, which generalizes the well-known Radford’s biproduct in Radford (J. Algebra 92:322–347, 1985). Furthermore, we derive some sufficient conditions for $B_{\#^{\pi}}^{\times_{\lambda }^{\pi}} H$ to be a Hopf π-coalgebra. Finally, we construct a quasitriangular structure on the Hopf π-coalgebra $B\times_{\lambda }^{\pi}H$ (with the usual tensor product).     

Attractors of dissipative hyperbolic equations with singularly oscillating external forces

We study a uniform attractor $\mathcal{A}^\varepsilon $ for a dissipative wave equation in a bounded domain Ω ? ?ⁿ under the assumption that the external force singularly oscillates in time; more precisely, it is of the form g ₀(x, t)+ ε^?α g ₁ (x, t/ε), x ∈ Ω, t ∈ ?, where α > 0, 0 < ε ≤ 1. In E = H ₀ ¹ × L ₂, this equation has an absorbing set B ^ε estimated as ‖B ^ε‖ _E ≤C ₁+C ₂ε^?α and, therefore, can increase without bound in the norm of E as ε → 0+. Under certain additional constraints on the function g ₁(x, z), x ∈ Ω, z ∈ ?, we prove that, for 0 < α ≤ α ₀, the global attractors $\mathcal{A}^\varepsilon $ of such an equation are bounded in E, i.e., $\parallel \mathcal{A}^\varepsilon \parallel _E \leqslant C_3 $ , 0 < ε ≤ 1. Along with the original equation, we consider a “limiting” wave equation with external force g ₀(x, t) that also has a global attractor $\mathcal{A}^0 $ . For the case in which g ₀(x, t) = g ₀(x) and the global attractor $\mathcal{A}^0 $ of the limiting equation is exponential, it is established that, for 0 < α ≤ α ₀, the Hausdorff distance satisfies the estimate $dist_E (\mathcal{A}^\varepsilon ,\mathcal{A}^0 ) \leqslant C\varepsilon ^{\eta (\alpha )} $ , where η(α) > 0. For η(α) and α ₀, explicit formulas are given. We also study the nonautonomous case in which g ₀ = g ₀(x, t). It is assumed that sufficient conditions are satisfied for which the “limiting” nonautonomous equation has an exponential global attractor. In this case, we obtain upper bounds for the Hausdorff distance of the attractors $\mathcal{A}^\varepsilon $ from $\mathcal{A}^0 $ , similar to those given above.