Note on a conjecture of toft

A conjecture of Toft [17] asserts that any 4-critical graph (or equivalently, every 4-chromatic graph) contains a fully odd subdivision ofK ₄. We show that if a graphG has a degree three nodev such thatG-v is 3-colourable, then eitherG is 3-colourable or it contains a fully oddK ₄. This resolves Toft's conjecture in the special case where a 4-critical graph has a degree three node, which is in turn used to prove the conjecture for line-graphs. The proof is constructive and yields a polynomial algorithm which given a 3-degenerate graph either finds a 3-colouring or exhibits a subgraph that is a fully odd subdivision ofK ₄. (A graph is 3-degenerate if every subgraph has some node of degree at most three.)     

Ambient connections realising conformal Tractor holonomy

For a conformal manifold we introduce the notion of an ambient connection, an affine connection on an ambient manifold of the conformal manifold, possibly with torsion, and with conditions relating it to the conformal structure. The purpose of this construction is to realise the normal conformal Tractor holonomy as affine holonomy of such a connection. We give an example of an ambient connection for which this is the case, and which is torsion free if we start the construction with a C-space, and in addition Ricci-flat if we start with an Einstein manifold. Thus, for a C-space this example leads to an ambient metric in the weaker sense of Čap and Gover, and for an Einstein space to a Ricci-flat ambient metric in the sense of Fefferman and Graham. Current address for first author: Erwin Schr?dinger International Institute for Mathematical Physics (ESI), Boltzmanngasse 9, 1090 Vienna, Austria Current address for second author: Department of Mathematics, University of Hamburg, Bundesstra?e 55, 20146 Hamburg, Germany     

PURE STATE APPROACH TO $C(X)×_\alpha Z_n$

ＰＵＲＥ ＳＴＡＴＥ ＡＰＰＲＯＡＣＨ ＴＯ Ｃ（ｘ）_αＺ_nＬＩＢＩＮＧＲＥＮ；ＬＩＮＱＩＮＧ（ＩｎｓｔｉｔｕｔｅｏｆＭａｔｈｅｍａｔｉｃｓ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉｎａ．Ｐｒｏｊｅｃｔｓｕｐｐｏｒｔｅｄｂｙｔｈ?..     

Completely empty pyramids on integer lattices and two-dimensional faces of multidimensional continued fractions

In this paper we develop an integer-affine classification of three-dimensional multistory, completely empty convex marked pyramids. We apply it to obtain the complete lists of compact two-dimensional faces of multidimensional continued fractions lying in planes at integer distances 2, 3, 4, …  to the origin. The faces are considered up to the action of the group of integer-linear transformations.     

Characterization of reduced iso‐α‐acids derived from hops (Humulus lupulus) by NMR

Reduced forms of iso‐α‐acids (isohumulones), used in modern beer brewing were separated and characterized by ¹H and ¹³C NMR spectroscopy. Components from mixtures of rho‐iso‐α‐acids, tetrahydro‐iso‐α‐acids, and hexahydro‐iso‐α‐acids were isolated using high‐performance liquid chromatography (HPLC) and analyzed by use of one‐ and two‐dimensional NMR experiments. The data presented assign the identities of the main peaks in the HPLC traces for the reduced iso‐α‐acids. Previous tentative assignments regarding the cis and trans configurations and the structures of the acyl residues of the reduced iso‐α‐acids were confirmed and extensive NMR assignments were made. Furthermore, the previously unknown stereochemistry in the C‐4 side‐chain of the rho‐ and hexahydro‐iso‐α‐acids was assigned. Copyright © 2003 John Wiley & Sons, Ltd.     

Equivariant fixed-point indices of iterated maps

We describe an equivariant version (for actions of a finite group G) of Dold’s index theory, [10], for iterated maps. Equivariant Dold indices are defined, in general, for a G-map U → X defined on an open G-subset of a G-ANR X (and satisfying a suitable compactness condition). A local index for isolated fixed-points is introduced, and the theorem of Shub and Sullivan on the vanishing of all but finitely many Dold indices for a continuously differentiable map is extended to the equivariant case. Homotopy Dold indices, arising from the equivariant Reidemeister trace, are also considered.      

The tangential end fibration of an aspherical Poincaré complex

We construct a sphere fibration over a finite aspherical Poincaré complex X, which we call the tangential end fibration, under the condition that the universal cover of X is forward tame and simply connected at infinity. We show that it is tangent to X if the formal dimension of X is even or, when the formal dimension is odd, if the diagonal X→X×X admits a Poincaré embedding structure.     

A fictitious domain approach to the numerical solution of PDEs in stochastic domains

We present an efficient method for the numerical realization of elliptic PDEs in domains depending on random variables. Domains are bounded, and have finite fluctuations. The key feature is the combination of a fictitious domain approach and a polynomial chaos expansion. The PDE is solved in a larger, fixed domain (the fictitious domain), with the original boundary condition enforced via a Lagrange multiplier acting on a random manifold inside the new domain. A (generalized) Wiener expansion is invoked to convert such a stochastic problem into a deterministic one, depending on an extra set of real variables (the stochastic variables). Discretization is accomplished by standard mixed finite elements in the physical variables and a Galerkin projection method with numerical integration (which coincides with a collocation scheme) in the stochastic variables. A stability and convergence analysis of the method, as well as numerical results, are provided. The convergence is “spectral” in the polynomial chaos order, in any subdomain which does not contain the random boundaries.     

Co-cliques and star complements in extremal strongly regular graphs

Suppose that the positive integer μ is the eigenvalue of largest multiplicity in an extremal strongly regular graph G. By interlacing, the independence number of G is at most 4μ² + 4μ − 2. Star complements are used to show that if this bound is attained then either (a) μ = 1 and G is the Schläfli graph or (b) μ = 2 and G is the McLaughlin graph.     

Higher order bad loci

Zero-schemes on smooth complex projective varieties, forcing all elements of ample and free linear systems to be reducible, are studied. Relationships among the minimal length of such zero-schemes, the positivity of the line bundle associated with the linear system, and the dimension of the variety are established. Bad linear spaces are also investigated.