The smallest degree sum that yields potentially Kr,r-graphic sequences

We consider a variation of a classical Turán-type extremal problem as follows: Determine the smallest even integer σ(K_r,r,n) such that every n-term graphic sequence π = (d₁,d₂,...,d_n) with term sum σ(π) = d₁ + d₂ + ... + d_n ≥ σ(K_r,r,n) is potentially K_r,r-graphic, where K_r,r is an r × r complete bipartite graph, i.e. π has a realization G containing K_r,r as its subgraph. In this paper, the values σ(K_r,r,n) for even r and n ≥ 4r² - r - 6 and for odd r and n ≥ 4r² + 3r - 8 are determined.     

A characterization of the<Emphasis Type="Italic">MM</Emphasis>*-position of a convex body in terms of covariance matrices

We characterize the position of a convex bodyK such that it minimizesM(TK)M*(TK) (theMM*-position) in terms of properties of the measures ‖ · ‖ _K d σ(·) and ‖ · ‖ _K °d σ(·), answering a question posed by A. Giannopoulos and V. Milman. The techniques used allow us to study other extremal problems in the context of dual Brunn-Minkowski theory. Partially supported by MCYT Grant (Spain) BFM2001-1793 and FEDER funds from UE. Partially supported by MCYT Grant (Spain) BFM2001-1793 and FEDER funds from UE.     

Certain 4-manifolds with non-negative sectional curvature

In this paper, we study certain compact 4-manifolds with non-negative sectional curvature K. If s is the scalar curvature and W. is the self-dual part of Weyl tensor, then it will be shown that there is no metric g on S ^• × S ^• with both (i) K > 0 and (ii) ÷ s − W _• ⩾ 0. We also investigate other aspects of 4-manifolds with non-negative sectional curvature. One of our results implies a theorem of Hamilton: “If a simply-connected, closed 4-manifold M^• admits a metric g of non-negative curvature operator, then M^• is one of S^•, ℂP^• and S^•×S^•”. Our method is different from Hamilton’s and is much simpler. A new version of the second variational formula for minimal surfaces in 4-manifolds is proved.      

The upper bound of the $${{\rm L}_{\mu}^2}$$ spectrum

Let M be an n-dimensional complete non-compact Riemannian manifold, dμ = e ^h (x)dV(x) be the weighted measure and \triangle_m{\triangle_{\mu}} be the weighted Laplacian. In this article, we prove that when the m-dimensional Bakry–émery curvature is bounded from below by Ric _m ≥ −(m − 1)K, K ≥ 0, then the bottom of the L_m²{{\rm L}_{\mu}^2} spectrum λ₁(M) is bounded by

Decompositions of Km,n into cubes

For a complete bipartite graph to be decomposable into isomorphic cubes, certain conditions on the number of cube and bipartition vertices must hold. We prove these necessary conditions sufficient in some cases. For cubes of fixed dimension d (indeed for d-regular bipartite graphs in general) we show that proving sufficiency can be reduced to decomposing a finite number of complete bipartite graphs. When t = 2^d−1 and r is the remainder on dividing t by d, we show K_t,t is decomposable into d-cubes and an r-factor, where if r > 0 this r-factor itself is decomposable into r-cubes. © 1996 John Wiley & Sons, Inc.     

Geometric orbifolds with torsion free derived subgroup

A geometric orbifold of dimension d is the quotient space S = X/K, where (X,G) is a geometry of dimension d and K < G is a co-compact discrete subgroup. In this case {ie38-01} is called the orbifold fundamental group of S. In general, the derived subgroup K’ of K may have elements acting with fixed points; i.e., it may happen that the homology cover M_S = X/K’ of S is not a geometric manifold: it may have geometric singular points. We are concerned with the problem of deciding when K′ acts freely on X; i.e., when the homology cover M _S is a geometric manifold. In the case d = 2 a complete answer is due to C. Maclachlan. In this paper we provide necessary and sufficient conditions for the derived subgroup S to act freely in the case d = 3 under the assumption that the underlying topological space of the orbifold K is the 3-sphere S ³.     

Clifford residues and charge quantization

We derive the quantization of action, particle number, andelectric charge in a Lagrangian spin bundle over \mathbbM o \mathbbM_# \èD_J {\mathbb{M}} \equiv {\mathbb{M}}_\# \backslash \cup D_J Penrose’s conformal compactification of Minkowsky space, with the world tubes of massive particles removed. Our Lagrangian density,L_g{\mathcal{L}}_g , is the spinor factorization of the Maurer-Cartan 4-form Ω⁴; it’s action,S _g , measures the covering number of the 4internal u (1)×su (2) phases over external spacetime \mathbbM{\mathbb{M}}. UnderPTC symmetry,L_g{\mathcal{L}}_g reduces to the second Chern formTrK _L ⋏K _R for a left ⊕ right chirality spin bundle. We prove aresidue theorem forgl (2, ℂ)-valued forms, which says that, when we “sew-in” singular lociD _J over which theu (1)×su (2) phases of the matter fields have some extra twists compared to the8 vacuum modes, the additional contributions to the action, electric charge, lepton and baryon numbers are alltopologically quantized. Because left and right chirality 2-forms arechiral dual, forms are quantized over theirdual cycles. Thus it is the interactionc ₂ (E), with a globally nontrivialmagnetic field, that forceselectric fields to be topologically quantized overspatial 2 cycles, ò_\mathbbS² K_or e^q ùe^j = 4pN\int_{{\mathbb{S}}^2 } { K_{or} } e^\theta \wedge e^\varphi = 4\pi {\rm N}.     

Coinvariants for a coadjoint action of quantum matrices

Let K be a (algebraically closed ) field. A morphism A ⟼ g ⁻¹ Ag, where A ∈ M(n) and g ∈ GL(n), defines an action of a general linear group GL(n) on an n × n-matrix space M(n), referred to as an adjoint action. In correspondence with the adjoint action is the coaction α: K[M(n)] → K[M(n)] ⊗ K[GL(n)] of a Hopf algebra K[GL(n)] on a coordinate algebra K[M(n)] of an n × n-matrix space, dual to the conjugation morphism. Such is called an adjoint coaction. We give coinvariants of an adjoint coaction for the case where K is a field of arbitrary characteristic and one of the following conditions is satisfied: (1) q is not a root of unity; (2) char K = 0 and q = ±1; (3) q is a primitive root of unity of odd degree. Also it is shown that under the conditions specified, the category of rational GL _q × GL _q -modules is a highest weight category.     

On the Stanley depth of squarefree Veronese ideals

Let K be a field and S=K[x ₁,…,x _n ]. In 1982, Stanley defined what is now called the Stanley depth of an S-module M, denoted sdepth (M), and conjectured that depth (M)≤sdepth (M) for all finitely generated S-modules M. This conjecture remains open for most cases. However, Herzog, Vladoiu and Zheng recently proposed a method of attack in the case when M=I/J with J⊂I being monomial S-ideals. Specifically, their method associates M with a partially ordered set. In this paper we take advantage of this association by using combinatorial tools to analyze squarefree Veronese ideals in S. In particular, if I _n,d is the squarefree Veronese ideal generated by all squarefree monomials of degree d, we show that if 1≤d≤n<5d+4, then sdepth (I _n,d )=⌊(n−d)/(d+1)⌋+d, and if d≥1 and n≥5d+4, then d+3≤sdepth (I _n,d )≤⌊(n−d)/(d+1)⌋+d.     

d-Cube decompositions ofK n/K m

Necessary conditions onn, m andd are given for the existence of an edge-disjoint decomposition ofK _n/K _m into copies of the graph of ad-dimensional cube. Sufficiency is shown whend=3 and, in some cases, whend=2^t. We settle the problem of embedding 3-cube decompositions ofK _m into 3-cube decompositions ofK _n, wherenm.Research of P.A. and D.E.B. supported by Australian Research Council grant A49532750Research of D.E.B. supported by Australian Research Council grant ARCPDF015GResearch of S.I.E. and C.V.E. supported by Illinois State University Research Office     

Genus of cartesian products of regular bipartite graphs

Let G(n, d) denote a connected regular bipartite graph on 2n vertices and of degree d. It is proved that any Cartesian product G(n, d) × G₁(n₁, d₁) × G₂(n₂, d₂) × ? × G_m(n_m, d_m), such that max {d₁, d₂,…, d_m} ≤ d ≤ d₁ + d₂ + ? + d_m, has a quadrilateral embedding, thereby establishing its genus, and thereby generalizing a result of White. It is also proved that if G is any connected bipartite graph of maximum degree D, if Q_m is the m-cube graph, and if m ≥ D then G × Q_m has a quadrilateral embedding.     

Worst-case minimum rectilinear steiner trees in all dimensions

It is proved that the length of the longest possible minimum rectilinear Steiner tree ofn points in the unitd-cube is asymptotic toβ _dn^(d−1)/d , whereβ _d is a constant that depends on the dimensiond≥2. A method of Chung and Graham (1981) is generalized to dimensiond to show that 1≤β _d≤d4^(1−d)/d . In addition to replicating Chung and Graham's exact determination ofβ ₂=1, this generalization yields new bounds such as 1≤β ₃<1.191 and .     

Automatic continuity of homomorphisms and fixed points on metric compacta

Let G₂(ℝ) × Sp₆(ℝ) and G₂(ℝ) × F₄(ℝ) be split dual pairs in split E₇(ℝ) and E₈(ℝ), respectively. It is known that the exceptional correspondences for these dual pairs are functorial on the level of infinitesimal characters. In this paper we show that these dual pair correspondences are functorial for the minimal K-types of principal series representations. Gordan Savin’s research is partially supported be NSF Grant no. DMS-0551846     

On moduli of vector bundles on surfaces with negative Kodaira dimension

Summary Here we prove the following result. Fix integersq, τ,a’, b’, a’ _i, 1≤i≤τ,a’, b’, a’ _i, 1≤i≤τ; then there is an integerew such that for every integert≥w, for every algebraically closed fieldK for every smooth complete surfaceX with negative Kodaira dimension, irregularityq andK _X ² =8(1−q)−τ, the following condition holds; ifX→S is a sequence fo τ blowing-downs which gives a relatively minimal model with ruling ρ:S→C, take as basis of the Neron Severi groupNS(X) a smooth rational curve which is the total transform of a fiber ofC, the total transform of a minimal section of ρ and the total transformD _i, 1≤i≤τ, of the exceptional curver; then for everyH andL∈Pic (X) withH ample,H (resp.L) represented by the integersa’, b’, a’ _i, (resp.a’, b’, a’ _i), 1≤i≤τ, in the chosen basis ofNS(X) the moduli spaceM(ZX, 2,H, L, t) of rank 2H-stable vector bundles onX with determinantL andc ₂=t is generically smooth and the number, dimension and ?birational structure? of the irreducible components ofM(X, 2,H, L, t)_red do not depend on the choice ofK andX. Furthermore the birational structure of these irreducible components can be loosely described in terms of the birational structure of the components of suitableM(S, 2,H’, L’, t’)_red withS a relatively minimal model ofX.

---

Sunto SiaX una superficie algebrica liscia completa con dimensione di Kodaira negativa e definita su un campo algebricamente chiusoK; fissiamoH eL∈Pic (X),t∈Z; siaq l’irregolarità diX e τ≔8(1−q)−K _X ^Emphasis>2 ; siaM(X, 2,H, L, t) to schema dei moduli dei fibrati vettorialiH-stabili di rango 2 suX con determinateL ec ₂=t. Si dimostra che esiste una costantew che dipende solo daq, da τ e dalla classe numerica diH e diL (ma non da char (K) o dalla classe di isomorphismo diX) tale che per ognit≥w il numero, la dimensione e ?la struttura birazionale? delle componenti irriducibili diM(X, 2,H, L, t)_red non dipende dalla scelta di char (K),K eX ma solo daq, τ e dalle classi diH eL inNS(X). Inoltre la ?struttura birazionale? di queste componenti irriducibili può essere grossolanamente descritta in termini delle componenti di opportuni spazi di moduliM(S, 2,H’, L’, t’) (doveS è un modello minimale diX).

     

Multidimensional version of M. A. Krasnoseľskii’s generalized contraction principle

Let M be a complete K-metric space with n-dimensional metric ρ(x, y): M × M → R ⁿ , where K is the cone of nonnegative vectors in R ⁿ . A mapping F: M → M is called a Q-contraction if ρ (Fx,Fy) ⩽ Qρ (x,y), where Q: K → K is a semi-additive absolutely stable mapping. A Q-contraction always has a unique fixed point x* in M, and ρ(x*,a) ⩽ (I - Q)^-1 ρ(Fa, a) for every point a in M. The point x* can be obtained by the successive approximation method x _k = Fx _k-1, k = 1, 2,..., starting from an arbitrary point x ₀ in M, and the following error estimates hold: ρ (x*, x _k ) ⩽ Q ^k (I - Q)^-1ρ(x ₁, _x ⁰) ⩽ (I - Q)^-1 Q ^k ρ(x ₁, x ₀), k = 1, 2,.... Generally the mappings (I - Q)^-1 and Q ^k do not commute. For n = 1, the result is close to M. A. Krasnosel’skii’s generalized contraction principle.     

Weak quasi‐randomness for uniform hypergraphs

We study quasi‐random properties of k‐uniform hypergraphs. Our central notion is uniform edge distribution with respect to large vertex sets. We will find several equivalent characterisations of this property and our work can be viewed as an extension of the well known Chung‐Graham‐Wilson theorem for quasi‐random graphs. Moreover, let K_k be the complete graph on k vertices and M(k) the line graph of the graph of the k‐dimensional hypercube. We will show that the pair of graphs (K_k,M(k)) has the property that if the number of copies of both K_k and M(k) in another graph G are as expected in the random graph of density d, then G is quasi‐random (in the sense of the Chung‐Graham‐Wilson theorem) with density close to d. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2011     

On the Cubicity of Interval Graphs

A k-cube (or “a unit cube in k dimensions”) is defined as the Cartesian product where R _i (for 1 ≤ i ≤ k) is an interval of the form [a _i , a _i  + 1] on the real line. The k-cube representation of a graph G is a mapping of the vertices of G to k-cubes such that the k-cubes corresponding to two vertices in G have a non-empty intersection if and only if the vertices are adjacent. The cubicity of a graph G, denoted as cub(G), is defined as the minimum dimension k such that G has a k-cube representation. An interval graph is a graph that can be represented as the intersection of intervals on the real line - i.e., the vertices of an interval graph can be mapped to intervals on the real line such that two vertices are adjacent if and only if their corresponding intervals overlap. We show that for any interval graph G with maximum degree Δ, . This upper bound is shown to be tight up to an additive constant of 4 by demonstrating interval graphs for which cubicity is equal to .     

Poincaré complex diagonals

Let M be a Poincaré duality space of dimension d ≥ 4. In this paper we describe a complete obstruction to realizing the diagonal map M → M × M by a Poincaré embedding. The obstruction group depends only on the fundamental group and the parity of d. The author was partially supported by the NSF.     

The Smallest Degree Sum That Yields Potentially Kr＋1 - K3-Graphic Sequences

Let a（Kr,＋1 - K3,n） be the smallest even integer such that each n-term graphic sequence п= （d1,d2,…dn） with term sum σ（п） = d1 ＋ d2 ＋…＋ dn 〉 σ（Kr＋1 -K3,n） has a realization containing Kr＋1 - K3 as a subgraph, where Kr＋1 -K3 is a graph obtained from a complete graph Kr＋1 by deleting three edges which form a triangle. In this paper, we determine the value σ（Kr＋1 - K3,n） for r ≥ 3 and n ≥ 3r＋ 5.