The chromatic index of graphs with a spanning star

Vizing's Theorem states that any graph G has chromatic index either the maximum degree Δ(G) or Δ(G) + 1. If G has 2_s + 1 points and Δ(G) = 2s, a well-known necessary condition for the chromatic index to equal 2_s is that G have at most 2s² lines. Hilton conjectured that this condition is also sufficient. We present a proof of that conjecture and a corollary that helps determine the chromatic index of some graphs with 2s points and maximum degree 2s ? 2.     

Parallelepipeds and Decomposition of Ranges of Vector Measures in Banach Spaces

We extend a result of A. Neyman about zonoids in ℝⁿ to zonoids in Banach spaces. A zonoid in a Banach space is the closed convex hull of the range of a vector measure. We show that the following conditions on a zonoid Z are equivalent: (1) Z determines univocally the associated conical measure; (2) There exists a vector measure defined on (Ω, Σ) such that every decomposition of Z into sum of zonoids can be obtained by decomposing (Ω, Σ); (3) Z ∩ (—αZ) is a parallelepiped for every α > 0. We also prove other results about decomposition of zonoids; for instance, we prove that if Z is a zonoid and Z ∩ (—Z) is a zonotope, there exists a zonoid L such that Z = Z ∩ (—Z) + L.     

An operator-valued Lyapunov theorem

We generalize Lyapunov's convexity theorem for classical (scalar-valued) measures to quantum (operator-valued) measures. In particular, we show that the range of a nonatomic quantum probability measure is a weak^?-closed convex set of quantum effects (positive operators bounded above by the identity operator) under a sufficient condition on the non-injectivity of integration. To prove the operator-valued version of Lyapunov's theorem, we must first define the notions of essentially bounded, essential support, and essential range for quantum random variables (Borel measurable functions from a set to the bounded linear operators acting on a Hilbert space).     

Submanifolds of positive Ricci curvature in a Euclidean space

In this paper we study the role of constant vector fields on a Euclidean space R ^n+p in shaping the geometry of its compact submanifolds. For an n-dimensional compact submanifold M of the Euclidean space R ^n+p with mean curvature vector field H and a constant vector field on R ^n+p , the smooth function is used to obtain a characterization of sphere among compact submanifolds of positive Ricci curvature (cf. main Theorem).      

Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix

In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space W_p^k(ℝ^s) (1≤p≤∞) to a vector refinement equation with a general dilation matrix. The criterion is constructive and can be implemented. Rate of convergence of vector cascade algorithms in a Sobolev space W_p^k(ℝ^s) will be investigated. When the dilation matrix is isotropic, a characterization will be given for the L_p (1≤p≤∞) critical smoothness exponent of a refinable function vector without the assumption of stability on the refinable function vector. As a consequence, we show that if a compactly supported function vector φ∈L_p(ℝ^s) (φ∈C(ℝ^s) when p=∞) satisfies a refinement equation with a finitely supported matrix mask, then all the components of φ must belong to a Lipschitz space Lip(ν,L_p(ℝ^s)) for some ν>0. This paper generalizes the results in R.Q. Jia, K.S. Lau and D.X. Zhou (J. Fourier Anal. Appl. 7 (2001) 143–167) in the univariate setting to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C20, 41A25, 39B12. Research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC Canada) under Grant G121210654.     

On -topological vector spaces generated by a co-tower of L-topological vector spaces

In this paper, a characterization for an I(L)-topological space to be generated by a given co-tower of L-topological spaces is obtained. Moreover, the relationship between some properties of an I(L)-topological vector space generated by a co-tower of L-topological vector spaces and the corresponding properties of the given co-tower of L-topological vector spaces is investigated. Our results show that if an I(L)-topological vector space generated by a co-tower of L-topological vector spaces has some properties, such as local convexity and local boundedness, then all L-topological vector spaces in the co-tower also have the same properties. But the converse is incorrect even in the case of I-topological vector space generated by a co-tower of classical topological vector spaces. Finally, we supply a necessary and sufficient condition for an I(L)-topological vector space generated by a co-tower of L-topological vector spaces with some properties, such as local convexity and local boundedness, to have such properties too.     

A generalization of the existence theorem of special line bundles

LetX be a generic smooth irreducible complex projective curve of genusg withg4. In this paper, we generalize the existence theorem of special divisors to high dimensional indecomposable vector bundles. We give a necessary and sufficient condition on the existence ofn-dimensional indecomposable vector bundlesE onX with det(E)=d, dimH ⁰(X,E)h. We also determine under what condition the set of all such vector bundles will be finite and how many elements it contains.Project partly supported by the National Natural Science Foundation of China.     

Composition operators between area-type Nevanlinna classes

This paper is concerned with the composition operators between the area-type Nevanlinna classes. Some sufficient and necessary conditions are given in terms of the concept of Carleson measure and the standard techniques of Montel Theorem for the composition operator C _φ: N _a ^p → N _a ^q to be bounded or compact, where 1 < p ⩽ q. Moreover, the inducing maps which induce invertible or Fredholm composition operators on N _a ^p are characterized. __________ Translated from Journal of Wuhan University (Natural Science Edition), 2004, 50(1): 1–5. This work was supported by the National Natural Science Foundation of China under grant number 19771063     

Partial convexity

We consider a generalization of the classical notion of convexity, which is calledpartial convexity. LetV ∋ ℝ ⁿ be some set of directions. A setX ∋ ℝ ⁿ is calledV- convex if the intersection of any line parallel to a vector inV withX is connected. Semispaces and the problem of the least intersection base for partial convexity is investigated. The cone of convexity directions is described for a closed set in ℝ ⁿ . Translated fromMatematicheskie Zametki, Vol. 60, No. 3, pp. 406–413, September, 1996. The authors wish to express their gratitude to V. V. Gorokhovik and E. A. Barabanov for useful remarks and discussions. This research was supported in part by the Belorussian Foundation for Basic Research under grant No. F95-016.     

Lipschitz Flow-box Theorem

A generalization of the Flow-box Theorem is proven. The assumption of a C¹ vector field f is relaxed to the condition that f be locally Lipschitz continuous. The theorem holds in any Banach space.     

One class of separable optimization problems: solution method,application

Convexity and generalized convexity play a central role in mathematical economics and optimization theory. So, the research on criteria for convexity or generalized convexity is one of the most important aspects in mathematical programming, in order to characterize the solutions set. Many efforts have been made in the few last years to weaken the convexity notions. In this article, taking in mind Craven's notion of K-invexity function (when K is a cone in ? ⁿ ) and Martin's notion of Karush–Kuhn–Tucker invexity (hereafter KKT-invexity), we define a new notion of generalized convexity that is both necessary and sufficient to ensure every KKT point is a global optimum for programming problems with conic constraints. This new definition is a generalization of KKT-invexity concept given by Martin and K-invexity function given by Craven. Moreover, it is the weakest to characterize the set of optimal solutions. The notions and results that exist in the literature up to now are particular instances of the ones presented here.     

On the Absolute Convergence of Fourier Series

The necessary and sufficient conditions of the absolute convergence of a trigonometric Fourier series are established for continuous 2-periodic functions which in [0, 2] have a finite number of intervals of convexity, and whose nth Fourier coefficients are O((l/n; f)/n), where ( f) is the continuity modulus of the function f.     

On the instability of resonances in parallel-plane waveguides

It has been observed¹³ that the propagation of acoustic waves in the region Ω₀= ?² × (0, 1), which are generated by a time-harmonic force density with compact support, leads to logarithmic resonances at the frequencies ω = 1, 2,… As we have shown⁹ in the case of Dirichlet's boundary condition U = 0 on ?Ω, the resonance at the smallest frequency ω = 1 is unstable and can be removed by a suitable small perturbation of the region. This paper contains similar instability results for all resonance frequencies ω = 1, 2,… under more restrictive assumptions on the perturbations Ω of Ω₀. By using integral equation methods, we prove that absence of admissible standing waves in the sense of Reference 7 implies the validity of the principle of limit amplitude for every frequency ω ≥ 0 in the region Ω =Ω₀ ?B, where B is a smooth bounded domain with B??Ω₀. In particular, it follows from Reference 7 in the case of Dirichlet's boundary condition that the principle of limit amplitude holds for every frequency ω ≥ 0 if n · x ′ ? 0 on ? B, where x ′ = (x₁, x₂, 0) and n is the normal unit vector pointing into the interior B of ? B. In the case of Neumann's boundary condition, the logarithmic resonance at ω = 0 is stable under the perturbations considered in this paper. The asymptotic behaviour of the solution for arbitary local perturbations of Ω₀ will be discussed in a subsequent paper.     

TOPOLOGICAL DECOMPOSITIONS OF THE DUALS OF LOCALLY CONVEX VECTOR SEQUENCE SPACES

ABSTRACT

Let Λ be a scalar sequence space which is endowed with a normal locally convex topology. For a separated locally convex space E we denote by Λ(E) the vector space of all sequences g in E for which (>g(i),a<) ε Λ for all a ε E'. We define a locally convex topology ζ on Λ(E) and then characterize the dual of the ζ-closure (denoted by Λ_c (E)) of the finite sequences in Λ(E). We demonstrate the existence of a continuous projection from Λ(E)' onto a subspace of Λ(E)' which is isomorphic to Λ_c(E)'. Furthermore, we find a topological decomposition of Λ^α _c (E)”, where one of the factors is isomorphic to Λ;^α(E). These results are then applied to find necessary and sufficient conditions for Λ^α(E) to be semi-reflexive. A parallel development yields the same results for the space Λ(E') of all sequences f in E' for which (>x, f(i)<) ε Λ; for all x ε E, when E is barrelled. We conclude the paper by application of the results on vector sequence spaces to spaces of operators—including for instance, necessary and sufficient conditions for L_b (E,Λ;) and L_b (Λ,E) to be semi-reflexive.     

Cropper's question and Cruse's theorem about partial Latin squares

In 1974 Cruse gave necessary and sufficient conditions for an r × s partial latin square P on symbols σ₁,σ₂,…,σ_t, which may have some unfilled cells, to be completable to an n × n latin square on symbols σ₁,σ₂,…,σ_n, subject to the condition that the unfilled cells of P must be filled with symbols chosen from {σ_{t + 1},σ_{t + 2},…,σ_n}. These conditions consisted of r + s + t + 1 inequalities. Hall's condition applied to partial latin squares is a necessary condition for their completion, and is a generalization of, and in the spirit of Hall's Condition for a system of distinct representatives. Cropper asked whether Hall's Condition might also be sufficient for the completion of partial latin squares, but we give here a counterexample to Cropper's speculation. We also show that the r + s + t + 1 inequalities of Cruse's Theorem may be replaced by just four inequalities, two of which are Hall inequalities for P (i.e. two of the inequalities which constitute Hall's Condition for P), and the other two are Hall inequalities for the conjugates of P. © 2011 Wiley Periodicals, Inc. J Combin Designs 19:268‐279, 2011     

Global Hypoellipticity and Simultaneous Approximability

A necessary and sufficient condition is given for a sum of squares operator to be globally hypoelliptic on an N-dimensional torus. This condition is expressed in terms of Diophantine approximation properties of the coefficients. The proof of the Theorem is based on L²-estimates and microlocalization.     

Generalized convexity and concavity of the optimal value function in nonlinear programming

In this paper we consider generalized convexity and concavity properties of the optimal value functionf ^* for the general parametric optimization problemP(_ε) of the form min _x f(x, ε) s.t.x∈R(ε). Many results on convexity and concavity characterizations off ^* were presented by the authors in a previous paper. Such properties off ^* and the solution set mapS ^* form an important part of the theoretical basis for sensitivity, stability and parametric analysis in mathematical optimization. We give sufficient conditions for several types of generalized convexity and concavity off ^*, in terms of respective generalized convexity and concavity assumptions onf and convexity and concavity assumptions on the feasible region point-to-set mapR. Specializations of these results to the parametric inequality-equality constrained nonlinear programming problem are provided. Research supported by Grant ECS-8619859, National Science Foundation and Contract N00014-86-K-0052, Office of Naval Research.     

Stochastic comparison and preservation of positive correlations for Lévy-type processes

The stochastic comparison and preservation of positive correlations for Levy-type processes on R^d are studied under the condition that Levy measure v satisfies f{0〈｜z｜≤1）｜z｜｜v（x, dz） - v（x, d（-z））｜ 〈 ∞, x∈ R^d, while the sufficient conditions and necessary ones for them are obtained. In some cases the conditions for stochastic comparison are not only sufficient but also necessary.     

A generalization of Fermat's little theorem

Fermat's Little Theorem states that if p is a prime number and gcd (x,p) = 1, then x^p?1 ≡ 1 (modp) If the requirement that gcd (x,p) = 1 is dropped, we can say x^p ≡ x(modp)for any integer x. Euler generalized Fermat's Theorem in the following way: if gcd (x,n) = 1 then x^φ(n) ≡ 1(modn), where φ is the Euler phi-function. It is clear that Euler's result cannot be extended to all integers x in the same way Fermat's Theorem can; that is, the congruence x^φ(n)+1 ≡ x(modn)is not always valid. In this note we show exactly when the congruence x^φ(n)+1 ≡ x(modn) is valid.     

Vector measure range duality and factorizations of (<Emphasis Type="Italic">D,p</Emphasis>)-summing operators from Banach function spaces

We characterize the relationship between the space L₁() and the dual L₁() of the space L₁(), where (, ) is a dual pair of vector measures with associated spaces of integrable functions L₁() and L₁() respectively. Since the result is rather restrictive, we introduce the notion of range duality in order to obtain factorizations of operators from Banach function spaces that are dominated by the integration map associated to the vector measure . We obtain in this way a generalization of the Grothendieck-Pietsch Theorem for p-summing operators.*The research was partially supported by MCYT DGI project BFM 2001-2670.**The research was partially supported by MCYT DGI project BFM 2000-1111.