Non removable edges in 3-connected cubic graphs

LetG be a cyclicallyk-edge-connected cubic graph withk 3. Lete be an edge ofG. LetG be the cubic graph obtained fromG by deletinge and its end vertices. The edgee is said to bek-removable ifG is also cyclicallyk-edge-connected. Let us denote by S _k (G) the graph induced by thek-removable edges and by N _k (G) the graph induced by the non 3-removable edges ofG. In a previous paper [7], we have proved that N ₃(G) is empty if and only ifG is cyclically 4-edge connected and that if N ₃(G) is not empty then it is a forest containing at least three trees. Andersen, Fleischner and Jackson [1] and, independently, McCuaig [11] studied N ₄(G). Here, we study the structure of N _k (G) fork 5 and we give some constructions of graphs such thatN _k (G) = E(G). We note that the main result of this paper (Theorem 5) has been announced independently by McCuaig [11].

---

Résumé SoitG un graphe cubique cyliquementk-arête-connexe, aveck 3. Soite une arête deG et soitG le graphe cubique obtenu à partir deG en supprimante et ses extrémités. L'arêtee est ditek-suppressible siG est aussi cycliquementk-arête-connexe. Désignons par S _k (G) le graphe induit par les arêtesk-suppressibles et par N _k (G) celui induit par les arêtes nonk-suppressibles. Dans un précédent article [7], nous avons montré que N ₃(G) est vide si et seulement siG est cycliquement 4-arête-connexe et que si N ₃(G) n'est pas vide alors c'est une forêt possédant au moins trois arbres. Andersen, Fleischner and Jackson [1] et, indépendemment, McCuaig [11] ont étudié N ₄(G). Ici, nous étudions la structure de N _k (G) pourk 5 et nous donnons des constructions de graphes pour lesquelsN _k (G) = E(G). Nous signalons que le résultat principal de cet article (Théorème 5) a été annoncé indépendamment par McCuaig [11].

     

General Blowings-up of ℙ2 and Injectivity of Gauss Maps

We consider the blowing-up Y _k of the projective plane along k general points P ₁,...,P _k . Let _k : Y _k ² be the projection map and E _i the exceptional divisor corresponding to P _i for 1ik. For m2 and km(m+3)/2–4 let _k be the invertible sheaf _k ^*( ²(m)) _{Y k} (–E ₁–···–E _k ) on Y _k , and let _k: Y _k ^N be the morphism corresponding to _k . As _k is a local embedding, the Gauss map _k corresponding to _k is defined on Y _k by _k (x)=(d _{x k} )(T _x (Y _k )) for all xY _k . We prove that this Gauss map _k is injective.     

The Eta Invariant and the Real Connective K-Theory of the Classifying Space for Quaternion Groups

We express the real connective K-theory groups o_4k–1(B Q ) ofthe quaternion group Q of order = 2 ^j 8 in terms of therepresentation theory of Q by showing o_4k–1(B Q ) = Sp(S ^4k+3/Q )where is any fixed point free representation of Q in U(2k + 2).     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Patching ideal families on℘ kλ

Ideal families defined on a cardinalk often exhibit reflection properties. IfC k is a club, for example, thenC is a club-in- club-in-k often. In this paper we generalize this notion to ideal families defined on _k and exhibit some examples.     

Construction of singular solutions to the p-harmonic equation and its limit equation for p=∞

Here, all solutions of the form u=r^kf() to the p-harmonic equation, div(|u|^p–2u)=0, (p>2) in the plane are determined. One main result is a representation formula for such solutions. Further, solutions with an isolated singularity at the origin are constructed (Theorem 1). Graphical illustrations are given at the end of the paper. Finally, all solutions u=r^kf() of the limit equation for p=, u _x ² u_xx+2u_xu_yu_xy+u _y ² u_yy=2, are constructed, some of which have a strong singularity at the origin (Theorem 2).     

On weakly mixing Markov operators and non-singular transformations

Summary Let P be a Markov operator on L (X, , m). Theorem 1: (i) P is weakly mixing (ii) For every fL there is a sequence {n_t} of density 1 such that all w ^*-cluster points of are constants (iii) For every fL there is a {k_j} with w ^*-convergent to a constant. Theorem 2: If P is induced by a non-singular transformation , P is weakly mixing For every A, { ^–n(A)} has a remotely trivial subsequence. The existence of a finite invariant measure is not required in these results.     

Smoothness of solutions of a nonlinear ode

Smoothness of aC -functionf is measured by (Carleman) sequence {M _k} ₀ ; we sayfC _M [0, 1] if|f ^(k) (t)|CR ^k M _k,k=0, 1, ... withC, R>0. A typical statement proven in this paper isTHEOREM: Let u, b be two C -functions on [0, 1]such that (a) u=u ²+b, (b) |b ^(k) (t)|CR ^k (k!) , >1,k_–.Then |u^(k)(t)|C₁R^k((k–1)!),k_–.The first author acknowledges the hospitality of Mathematical Research Institute of the Ohio State University during his one month visit there in the spring of 1999     

A characterization of brownian motion in a lipschitz domain by its killing distributions

Let (Y _t, Q^x) be a strong Markov process in a bounded Lipschitz domainD with continuous paths up to its lifetime , and let (X _t, P^x) be a Brownian motion inD. IfY _– exists in D andQ ^x(Y_– C)=P^x(X_– C) for all Borel subsetsC of D and allx, thenY is a time change ofX.     

Combined free and forced laminar convection in internally finned square ducts

Analysis is presented for the heat transfer performance of square ducts with internal fins from each wall in the case of combined free and forced convection by fully developed laminar flow. Numerical results are obtained for the Nusselt number and the pressure drop parameter for various values of finlengths and heat source parameter. For various values of Rayleigh numbers, the Nusselt number increases with the increase in finlength and decreases with the increase in heat source parameter.

---

Zusammenfassung Es wird eine Analyse für den Wärmeaustausch von quadratischen Rohren mit inneren Rippen an jeder Wand im Falle einer Kombination von freier und erzwungener Konvektion bei voll entwickelter laminarer Strömung gegeben. Numerische Resultate für die Nusselt-Zahl und den Druckabfall-Koeffizienten für verschiedene Rippenbreiten und Parameter der Wärmequelle werden erhalten. Für einige Werte der Rayleighzahl wächst die Nusselt-Zahl mit der Rippenbreite und fällt mit wachsendem Parameter der Wärmequelle.

---

Nomenclature A cross sectional area of the duct - B _2k Bernoulli numbers - c _p specific heat at constant pressure - D _h hydraulic diameter of finless duct - E _n complex constants (20) - F heat source parameter,Q/c _p - F _n () defined by Equation (14) - G(, , , ) Green's function (15, 16) - g gravitational acceleration - H() Heaviside function - h() defined by Equation (22) - i imaginary unit,i ²=–1 - ImW imaginary part ofW - K(,t) kernel of the integral equation, defined by (25) - k thermal conductivity - L pressure drop parameter, –D _h ² (p/x+ _w )/ - l fin length of each fin, Figure (1) - N _u Nusselt number, Equation (32) - p pressure - Q heat generation rate - R() defined by Equation (26) - R _A Rayleigh number, _w gc _p D _h ⁴ /k - ReW real part ofW - T dimensionless temperature, (t–t _w )/(c _p D _h ² /k) - T _mx dimensionless mixed mean temperature, Equation (33) - t fluid temperature - t ₀ reference temperature atx=0 - u local axial velocity - mean axial velocity - V u/ - W complex function defined by Equation (6) - w suffix denoting wall conditions - W ₀ defined by Equation (9) - W ₁ W–W ₀, Equation (18) - x axial coordinate along the length of the duct - y, z cross-sectional coordinates - constant temperature gradient, t/x - coefficient of thermal expansion of the fluid - fluid density - _n - dynamic viscosity - () Dirac delta function - ² Laplacian operator, ²/y ²/²/z ² - , y/D _h ,z/D _h      

Shape-preserving Kolmogorov widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ₀ and let ₊ ^s be the set of functions x defined on a finite interval I and such that, for all collections of s + 1 pairwise different points t ₀,..., t _s I, the corresponding divided differences [x; t ₀,...,t _s ] of order s are nonnegative. Let ₊ ^s B _{p +} ^s B _p, 1 p where B _p is a unit ball in the space L _p, and let ₊ ^s L _{q +} ^s L _q, 1 q . For every s 3 and 1 q p , we determine the exact orders of the shape-preserving Kolmogorov widths {x - y} \right\ L_q , $$]]>, where M ⁿ is the collection of all affine linear manifolds M ⁿ in L _q such that dim M ⁿ n and M ⁿ ₊ ^s L _q .Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 901–926, July, 2004.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

Some inequalities about the covering radius of Reed-Muller codes

Let R(r, m) be the rth order Reed-Muller code of length 2 ^m , and let (r, m) be its covering radius. We prove that if 2 k m - r - 1, then (r + k, m + k) (r, m + 2(k - 1). We also prove that if m - r 4, 2 k m - r - 1, and R(r, m) has a coset with minimal weight (r, m) which does not contain any vector of weight (r, m) + 2, then (r + k, m + k) (r, m) + 2k(. These inequalities improve repeated use of the known result (r + 1, m + 1) (r, m).This work was supported by a grant from the Research Council of Wright State University.     

The embedding of linearly ordered sets

It is shown that if a linearly ordered set B does not contain as subsets sets of order type and ^* then B can be embedded in 2 . We construct an example of a set satisfying the above conditions which cannot be embedded in any 2 if < . Simultaneously we show that for any ordinal, 2 ⁺¹ cannot be embedded in 2 and that there exists at least ₊₁ distinct dense order types of cardinality 2 .Translated from Matematicheskie Zametki, Vol. 11, No. 1, pp. 83–88, January, 1972.In conclusion, I wish to take the opportunity to thank Yu. L. Ershov for kindness and assistance in this work.     

Exact estimates for partially monotone approximation

f(x) — , - [–1,1], (f, ) — , as— f, . . (- ) (x _i,x _{i+ 1}) (i=0, 1, ...,s–1; =–1,x _s,=1), f(x) . , n=0,1,... _n() , [– 1,1] signf(x) sign _n(x) 0, ¦f(x)– _n(x)¦ C(s) (f, 1/n+1, C(s) s. , - , « » .     

Equivalent Sets of Solutions of the Klein–Gordon Equation with a Constant Electric Field

We argue extensively in favor of our earlier choice of the in and out states (among the solutions of a wave equation with one-dimensional potential). In this connection, we study the nonstationary and stationary families of complete sets of solutions of the Klein–Gordon equation with a constant electric field. A nonstationary set _Pv consists of the solutions with the quantum number p _v=p ⁰ v–p₃. It can be obtained from the nonstationary set _P3 with the quantum number p ₃ by a boost along the x ₃ axis (in the direction of the electric field) with the velocity –v. By changing the gauge, we can bring the solutions in all sets to the same potential without changing quantum numbers. Then the transformations of solutions in one set (with the quantum number p _v) to the solutions in another set (with the quantum number p _v) have group properties. The stationary solutions and sets have the same properties as the nonstationary ones and are obtainable from stationary solutions with the quantum number p ⁰ by the same boost. It turns out that each set can be obtained from any other by gauge manipulations. All sets are therefore equivalent, and the classification (i.e., assigning the frequency sign and the in and out indices) in any set is determined by the classification in the set _P3, where it is obvious.     

Structures of topological type

In this paper we continue the study of structures of various types initiated by the author in the earlier paper Structures of extensions (Ref. Zh. Mat., 1974, 4A361). The present paper is devoted to the so-called structure of topological type. By a structure of topological type on the set X is meant a topological structure, defined on some set obtained from X, and possibly additional sets, by a totally ordered sequence of operations of unions of sets, products of sets, and passage to the set of subsets. We study certain structures of topological type: bitopological (Sec. 2) and settopological (Sec. 3). A bitopological structure on the set X is any topological structure on the set X×X, and a bitopological space is a pair (X,). This concept is a natural extension of the concept of a bitopological space as a set X on which there are given two topological structures ₁ and ₂-these structures define a structure =₁×₂ on the set X×X. A settopological structure on the set X is any topological structure on the set={A¦A. There are given representations of piecewise-linear structures (Sec. 4) and smooth structures (Sec. 5) as settopological structures.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 83, pp. 5–62, 1979.     

Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

Factorization intok-dimensional linear bijections

LetV be a vector space,k withkdimV andS _k{GL(V)|dimV(–1)=k}. ThenS _k generates GL _f (V){GL(V)|V(-1) is finite-dimensional} (with the exception that dimV=2=k and the field is GF2). We study the length problem in GL _f (V) withS _k as set of generators.