Monochromatic Matchings in the Shadow Graph of Almost Complete Hypergraphs

Edge colorings of r-uniform hypergraphs naturally define a multicoloring on the 2-shadow, i.e., on the pairs that are covered by hyperedges. We show that in any (r – 1)-coloring of the edges of an r-uniform hypergraph with n vertices and at least (1-e)( *20c nr)(1-\varepsilon)\left( {\begin{array}{*{20}c} n\\ r\\ \end{array}}\right) edges, the 2-shadow has a monochromatic matching covering all but at most o(n) vertices. This result confirms an earlier conjecture and implies that for any fixed r and sufficiently large n, there is a monochromatic Berge-cycle of length (1 – o(1))n in every (r – 1)-coloring of the edges of K^(r)_n{K^{(r)}_{n}}, the complete r-uniform hypergraph on n vertices.     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

The asymptotic number of graphs not containing a fixed subgraph and a problem for hypergraphs having no exponent

LetH be a fixed graph of chromatic numberr. It is shown that the number of graphs onn vertices and not containingH as a subgraph is . Leth _r (n) denote the maximum number of edges in anr-uniform hypergraph onn vertices and in which the union of any three edges has size greater than 3r – 3. It is shown thath _r (n) =o(n ²) although for every fixedc < 2 one has lim _n h _r (n)/n ^c = .     

Dilation of Newton Polytope and <Emphasis Type="Italic">p</Emphasis>-adic Estimate

Let f(X) be a polynomial in n variables over the finite field  \mathbbF_q\mathbb{F}_{q}. Its Newton polytope Δ(f) is the convex closure in ℝ ⁿ of the origin and the exponent vectors (viewed as points in ℝ ⁿ ) of monomials in f(X). The minimal dilation of Δ(f) such that it contains at least one lattice point of $\mathbb{Z}_{>0}^{n}$\mathbb{Z}_{>0}^{n} plays a vital pole in the p-adic estimate of the number of zeros of f(X) in  \mathbbF_q\mathbb{F}_{q}. Using this fact, we obtain several tight and computational bounds for the dilation which unify and improve a number of previous results in this direction.     

Upper bound theorems for homology manifolds

In this paper we prove the Upper Bound Conjecture (UBC) for some classes of (simplicial) homology manifolds: we show that the UBC holds for all odd-dimensional homology manifolds and for all 2k-dimensional homology manifolds Δ such that β _k (Δ)⩽Σ{β _i (Δ):i ≠k-2,k,k+2 and 1 ⩽i⩽2k-1}, where β _i (Δ) are reduced Betti numbers of Δ. (This condition is satisfied by 2k-dimensional homology manifolds with Euler characteristic χ≤2 whenk is even or χ≥2 whenk is odd, and for those having vanishing middle homology.) We prove an analog of the UBC for all other even-dimensional homology manifolds. Kuhnel conjectured that for every 2k-dimensional combinatorial manifold withn vertices, . We prove this conjecture for all 2k-dimensional homology manifolds withn vertices, wheren≥4k+3 orn≤3k+3. We also obtain upper bounds on the (weighted) sum of the Betti numbers of odd-dimensional homology manifolds.     

Modified mann iterations for nonexpansive semigroups in Banach space

Let E be a real reflexive Banach space which admits a weakly sequentially continuous duality mapping from E to E^＊, and C be a nonempty closed convex subset of E. Let {T（t） ： t ≥ 0} be a nonexpansive semigroup on C such that F ：=∩t≥0 Fix（T（t）） ≠ 0, and f ： C → C be a fixed contractive mapping. If {αn}, {βn}, {an}, {bn}, {tn} satisfy certain appropriate conditions, then we suggest and analyze the two modified iterative processes as：{yn=αnxn＋（1-αn）T（tn）xn,xn=βnf（xn）＋（1-βn）yn
{u0∈C,vn=anun＋（1-an）T（tn）un,un＋1=bnf（un）＋（1-bn）vn
We prove that the approximate solutions obtained from these methods converge strongly to q ∈∩t≥0 Fix（T（t））, which is a unique solution in F to the following variational inequality：
〈（I-f）q,j（q-u）〉≤0 u∈F Our results extend and improve the corresponding ones of Suzuki [Proc. Amer. Math. Soc., 131, 2133-2136 （2002）], and Kim and XU [Nonlear Analysis, 61, 51-60 （2005）] and Chen and He [Appl. Math. Lett., 20, 751-757 （2007）].     

Some inequalities about mixed volumes

We prove inequalities about the quermassintegralsV _k (K) of a convex bodyK in ℝ ⁿ (here,V _k (K) is the mixed volumeV((K, k), (B _n ,n − k)) whereB _n is the Euclidean unit ball). (i) The inequality

Représentation intégrale de fonctionnelles convexes sur un espace de mesures

Résumé Partant d’un résultat abstrait de représentation intègrale pour une fonctionnelle convexe faiblement s.c.i. sur [M _b (Ω)] ^d (obtenu grace à [1]); on établit un résultat de convergence pour une suite de fonctionnelles du type μ _n εM _b ⁺ (Ω),f _n : Ω×R ^d →−∞, +∞] inté Quelques exemples motivés par des applications à la mécanique sont ensuite traités.

---

Riassunto Partendo da un risultato astratto di rappresentazione integrale per un funzionale convesso debolmente s.c.i. su [M _b (Ω)] ^d (ottenuto grazie a [1]), si dimostra un risultato di convergenza per una successione di funzionali del tipo con μ _n εM _b ⁺ (Ω),f _n : Ω×R ^d →−∞, +∞] integrando normale convesso. Vengono inoltre trattati alcuni esempi motivati da applicazioni alla Meccanica.

     

Homological Connectivity Of Random 2-Complexes

Let Δ_n−1 denote the (n − 1)-dimensional simplex. Let Y be a random 2-dimensional subcomplex of Δ_n−1 obtained by starting with the full 1-dimensional skeleton of Δ_n−1 and then adding each 2−simplex independently with probability p. Let denote the first homology group of Y with mod 2 coefficients. It is shown that for any function ω(n) that tends to infinity

Multipliers for logarithmic Cauchy integrals in the ball

Let B _n denote the unit ball in \mathbbC \mathbb{C} ⁿ , n ≥ 1. Let K \mathcal{K} ₀(n) denote the class of functions defined for z ∈ B _n as a constant plus the integral of the kernel log(1/(1 −〈z, ζ〉)) against a complex Borel measure on the sphere {ζ ∈ \mathbbC \mathbb{C} ⁿ ,: |ζ| = 1}. Properties of holomorphic functions g such that fg ∈ K \mathcal{K} ₀(n) for all f ∈ K \mathcal{K} ₀(n) are studied. The extended Cesàro operators are investigated on the spaces K \mathcal{K} ₀(n), n ≥ 1. Bibliography: 15 titles.     

Quasi-convex Mappings on the Unit Polydisk in $\mathbb{C}^{n}$

In this paper, the sharp estimates of all homogeneous expansions for f are established, where f(z) = (f ₁(z), f ₂(z), …, f _n (z))′ is a k-fold symmetric quasi-convex mapping defined on the unit polydisk in ℂ ⁿ and

On Ramsey—Turán type theorems for hypergraphs

LetH ^r be anr-uniform hypergraph. Letg=g(n;H ^r ) be the minimal integer so that anyr-uniform hypergraph onn vertices and more thang edges contains a subgraph isomorphic toH ^r . Lete =f(n;H ^r ,εn) denote the minimal integer such that everyr-uniform hypergraph onn vertices with more thane edges and with no independent set ofεn vertices contains a subgraph isomorphic toH ^r . We show that ifr>2 andH ^r is e.g. a complete graph then $$\mathop {\lim }\limits_{\varepsilon \to 0} \mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} f(n;H^r ,\varepsilon n) = \mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} g(n;H^r )$$ while for someH ^r with \(\mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} g(n;H^r ) \ne 0\) $$\mathop {\lim }\limits_{\varepsilon \to 0} \mathop {\lim }\limits_{n \to \infty } \left( {\begin{array}{*{20}c} n \\ r \\ \end{array} } \right)^{ - 1} f(n;H^r ,\varepsilon n) = 0$$ . This is in strong contrast with the situation in caser=2. Some other theorems and many unsolved problems are stated.     

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 ℓ.     

Dominant dimensions,derived equivalences and tilting modules

We show that for every ? > 0 there exist δ > 0 and n₀ ∈ ? such that every 3-uniform hypergraph on n ≥ n₀ vertices with the property that every k-vertex subset, where k ≥ δn, induces at least \(\left( {\frac{1}{2} + \varepsilon } \right)\left( {\begin{array}{*{20}c} k \\ 3 \\ \end{array} } \right)\) edges, contains K₄^? as a subgraph, where K₄^? is the 3-uniform hypergraph on 4 vertices with 3 edges. This question was originally raised by Erd?s and Sós. The constant 1/4 is the best possible.     

The Turán Number Of The Fano Plane

  Let PG₂(2) be the Fano plane, i. e., the unique hypergraph with 7 triples on 7 vertices in which every pair of vertices is contained in a unique triple. In this paper we prove that for sufficiently large n, the maximum number of edges in a 3-uniform hypergraph on n vertices not containing a Fano plane is

A uniqueness theorem and the myrberg phenomenon for a Zalcman domain

LetR=Δ₀\∪_nΔ_n be a Zalcman domain (or L-domain), where Δ₀ : 0<|z| <1, Δ_n : |z-c _n|≤r _n,c_n ↘0, Δ_n ⊂ Δ₀ and Δ_n ∩ Δ_m= φ(n≠m). 0217 0115 V 3 For an unlimited two-sheeted covering with the branch points {φ^-1(c _n)}, set . In the casec _n=2⁻ⁿ , it was proved that if a uniqueness theorem is valid forH ^∞ (R) atz=0, then the Myrberg phenomenon occurs. One might suspect that the converse also holds. In this paper, contrary to this intuition, we show that the converse of this previous result is not true. In addition, we generalize the previous result for more general sequences {c _n}. By this generalization we can even partly simplify the previous proof. To complete the present work the first and second (third, resp.) named authors were supported in part by Grant-in-Aid for Scientific Research, No. 10304010 (10640190, 11640187, resp.), Japanese Ministry of Education, Science and Culture.     

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

I sottogruppi del gruppo modulare con coefficienti del corpo di Jacobi-Eisenstein e un teorema sui gruppi finiti

Sommario Introduzione — § 1 – 1. L'indice μ(n) dei sottogruppi Г_μ(n) del gruppo Γ di sostituzioni lineari unimodulari con coefficienti del campo diJacobi-Eisenstein — 2. Il poliedro fondamentale del sottogruppo Г_μ(1−ε) — § 2 – 3. I campi fondamentali dei gruppi Г_μ(n) — 4. Impossibilità di limitare con un numero finito di piani e sfere di riflessione i poliedri fondamentali dei gruppi Г_μ(n), conn intero razionale pari, diverso da 2 — § 3 – 5. Relazioni fondamentali fra le sostituzioni generatrici del gruppo di sostituzioni lineari con coefficienti del corpo K_ε con determinante ±1 — § 4 – 6. Sulla indipendenza delle sostituzioniS,T,U, generatrici del gruppo finito G_2μ(n) e sulle loro relazioni caratteristiche nel gruppo G_2μ(n) — § 5 – 7. Dimostrazione del teorema fondamentale sui gruppi G_2μ(n). Lemmi preliminari — 8, Dimostrazione del teorema fondamentale nel caso di moduli primi con 2(1−ε) — § 6 – 9. Il teorema fondamentale per i modulim(1−ε), 3m, 2m, 2m(1−ε), 6m conm primo con 6 – 10. Immagine geometrica dei gruppi G_2μ(1−ε) — § 7 – 11. Il gruppo delle sostituzioni unimodulari , [c/1+4ma]=+1, e il caso eccezionale dei moduli 4m – 12. Il gruppo delle sostituzioni unimodulari [c/1+3m(1−ε)a]₃=+1 e il caso eccezionale dei moduli 3(1−ε)m.     

Precise asymptotics in Chung’s law of the iterated logarithm

Let X, X1, X2,... be i.i.d, random variables with mean zero and positive, finite variance σ^2, and set Sn = X1 ＋... ＋ Xn, n≥1. The author proves that, if EX^2I{｜X｜≥t} = 0（（log log t）^-1） as t→∞, then for any a〉-1 and b〉 -1,lim ε↑1/√1＋a（1/√1＋a-ε）b＋1 ∑n=1^∞（logn）^a（loglogn）^b/nP{max κ≤n｜Sκ｜≤√σ^2π^2n/8loglogn（ε＋an）}=4/π（1/2（1＋a）^3/2）^b＋1 Г（b＋1）,whenever an = o（1/log log n）. The author obtains the sufficient and necessary conditions for this kind of results to hold.     

The pointwise estimates on walsh overconvergence

Let f∈A_p. For any positive integer l, the quantity Δ_1,n−1(f:z) has been studied extensively. Here we give some quantitative estimates for and investigate some pointwise estimates of Δ _l,n−1 ^(r) (f;z). Supported by National Science Foundation of China