On C‐Suslin spaces

We prove a closed graph theorem for Baire locally convex spaces (for Baire linear topological spaces) in the domain and weakly C‐Suslin locally convex spaces (respectively, for C‐Suslin linear topological spaces) in the range which improves some classic closed graph theorems and other, more recent, related results.     

The space of maps from a locally compact space to a Banach space

The space of continuous maps from a topological spaceX to topological spaceY is denoted byC(X,Y) with the compact-open topology. In this paper we prove thatC(X,Y) is an absolute retract ifX is a locally compact separable metric space andY a convex set in a Banach space. From the above fact we know thatC(X,Y) is homomorphic to Hilbert spacel ₂ ifX is a locally compact separable metric space andY a separable Banach space; in particular,C(R ⁿ,R^m) is homomorphic to Hilbert spacel ₂. This research is supported by the Science Foundation of Shanxi Province's Scientific Committee     

A characterization of periodic solutions for time‐fractional differential equations in UMD spaces and applications

We study the fractional differential equation (*) D^αu(t) + BD^βu(t) + Au(t) = f(t), 0 ? t ? 2π (0 ? β < α ? 2) in periodic Lebesgue spaces L^p(0, 2π; X) where X is a Banach space. Using functional calculus and operator valued Fourier multiplier theorems, we characterize, in UMD spaces, the well posedness of (*) in terms of R‐boundedness of the sets {(ik)^α((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} and {(ik)^βB((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} . Applications to the fractional problems with periodic boundary condition, which includes the time diffusion and fractional wave equations, as well as an abstract version of the Basset‐Boussinesq‐Oseen equation are treated. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Property (quasi‐α) and the denseness of norm attaining mappings

We introduce property (quasi ‐α), which implies property (A) defined by Lindenstrauss [10] and whose dual property is property (quasi‐β) [2]. We consider relations between this property and other sufficient conditions for property (A), and study the denseness of norm attaining mappings under the conditions of these properties. In particular, if each of the Banach spaces X_k , 1 ≤ k ≤ n – 1, has property (quasi‐α) and X_n has property (A), then the projective tensor product X₁ ··· X_n has property (A). (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Operators with Wentzell boundary conditions and the Dirichlet‐to‐Neumann operator

In this paper we relate the generator property of an operator A with (abstract) generalized Wentzell boundary conditions on a Banach space X and its associated (abstract) Dirichlet‐to‐Neumann operator N acting on a “boundary” space . Our approach is based on similarity transformations and perturbation arguments and allows to split A into an operator A₀₀ with Dirichlet‐type boundary conditions on a space X₀ of states having “zero trace” and the operator N. If A₀₀ generates an analytic semigroup, we obtain under a weak Hille–Yosida type condition that A generates an analytic semigroup on X if and only if N does so on . Here we assume that the (abstract) “trace” operator is bounded that is typically satisfied if X is a space of continuous functions. Concrete applications are made to various second order differential operators.     

On spaces weakly ‐analytic

A subset Y of the dual closed unit ball of a Banach space E is called a Rainwater set for E if every bounded sequence of E that converges pointwise on Y converges weakly in E . In this paper, topological properties of Rainwater sets for the Banach space of the real‐valued continuous and bounded functions defined on a completely regular space X equipped with the supremum‐norm are studied. This applies to characterize the weak K‐analyticity of in terms of certain Rainwater sets for . Particularly, we show that is weakly K‐analytic if and only if there exists a Rainwater set Y for such that is both K‐analytic and angelic, where denotes the topology on of the pointwise convergence on Y . For the case when X is compact, one gets classic Talagrand's theorem. As an application we show that if X is a compact space and Y is a ‐dense subspace, then X is Talagrand compact, i.e., is K‐analytic, if and only if the space is K‐analytic.     

Projective limits of finite decomposition systems

Special finite topological decomposition systems were used to get compactifications of topological spaces in [6]. In this paper the notion of finite decomposition systems is applied for topological measure spaces. We get two canonical topological measure spaces X_∞ and X_∞^d being projective limits of (discrete) finite decomposition systems for each topological measure space X = (X, O, A, P) and each net (A_α) α ? I of upward filtering finite σ-algebras in A. X_∞ is a compact topological measure space and the idea to construct is the same as used in [6]. The compactifications of [6] are cases of some special X_∞. Further on we obtain that each measurable set of the remainder of X_∞ has measure zero with respect to the limit measure P_∞ (Theorem 1). X_∞^d is the STONE representation space X(\documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document}) of \documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document} A_α, hence a Boolean measure space with regular Borel measure. Some measure theoretical and topological relations between X, X(\documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document}) and x(A) where x(A) is the Stone representation space of A, are given in Theorem 2. and 4. As a corollary from Theorem 2. we get a measure theoretical-topological version to the Theorem of Alexandroff Hausdorff for compact T₂ measure spaces x with regular Borel measure (Theorem 3.).     

Global continuation for first order systems over the half‐line involving parameters

Let X be one of the functional spaces W^1,p ((0, ∞), ?^N ) or C₀¹ ([0, ∞), ?^N ), we study the global continuation in λ for solutions (λ, u, ξ) ∈ ? × X × ?^k of the following system of ordinary differential equations: where ?^N = X₁ ⊕ X₂ is a given decomposition, with associated projection P: ?^N → X₁. Under appropriate conditions upon the given functions F and φ, this problem gives rise to a nonlinear Fredholm operator which is proper on the closed bounded subsets of ? × X × ?^k and whose zeros correspond to the solutions of the original problem. Using a new abstract continuation result, based on a recent degree theory for proper Fredholm mappings of index zero, we reduce the continuation problem to that of finding a priori estimates for the possible solutions (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Tetravalent half‐edge‐transitive graphs and non‐normal Cayley graphs

Let X be a vertex‐transitive graph, that is, the automorphism group Aut(X) of X is transitive on the vertex set of X. The graph X is said to be symmetric if Aut(X) is transitive on the arc set of X. suppose that Aut(X) has two orbits of the same length on the arc set of X. Then X is said to be half‐arc‐transitive or half‐edge‐transitive if Aut(X) has one or two orbits on the edge set of X, respectively. Stabilizers of symmetric and half‐arc‐transitive graphs have been investigated by many authors. For example, see Tutte [Canad J Math 11 (1959), 621–624] and Conder and Maru?i? [J Combin Theory Ser B 88 (2003), 67–76]. It is trivial to construct connected tetravalent symmetric graphs with arbitrarily large stabilizers, and by Maru?i? [Discrete Math 299 (2005), 180–193], connected tetravalent half‐arc‐transitive graphs can have arbitrarily large stabilizers. In this article, we show that connected tetravalent half‐edge‐transitive graphs can also have arbitrarily large stabilizers. A Cayley graph Cay(G, S) on a group G is said to be normal if the right regular representation R(G) of G is normal in Aut(Cay(G, S)). There are only a few known examples of connected tetravalent non‐normal Cayley graphs on non‐abelian simple groups. In this article, we give a sufficient condition for non‐normal Cayley graphs and by using the condition, infinitely many connected tetravalent non‐normal Cayley graphs are constructed. As an application, all connected tetravalent non‐normal Cayley graphs on the alternating group A₆ are determined. © 2011 Wiley Periodicals, Inc. J Graph Theory     

G‐invariant persistent homology

Classical persistent homology is a powerful mathematical tool for shape comparison. Unfortunately, it is not tailored to study the action of transformation groups that are different from the group Homeo(X) of all self‐homeomorphisms of a topological space X. This fact restricts its use in applications. In order to obtain better lower bounds for the natural pseudo‐distance d_G associated with a group G ? Homeo(X), we need to adapt persistent homology and consider G‐invariant persistent homology. Roughly speaking, the main idea consists in defining persistent homology by means of a set of chains that is invariant under the action of G. In this paper, we formalize this idea and prove the stability of the persistent Betti number functions in G‐invariant persistent homology with respect to the natural pseudo‐distance d_G. We also show how G‐invariant persistent homology could be used in applications concerning shape comparison, when the invariance group is a proper subgroup of the group of all self‐homeomorphisms of a topological space. In this paper, we will assume that the space X is triangulable, in order to guarantee that the persistent Betti number functions are finite without using any tameness assumption. Copyright © 2014 John Wiley & Sons, Ltd.     

A Feynman integral in Lifshitz‐point and Lorentz‐violating theories in

We evaluate a 1‐loop, 2‐point, massless Feynman integral I_D,m(p,q) relevant for perturbative field theoretic calculations in strongly anisotropic d=D+m dimensional spaces given by the direct sum . Our results are valid in the whole convergence region of the integral for generic (noninteger) codimensions D and m. We obtain series expansions of I_D,m(p,q) in terms of powers of the variable X:=4p²/q⁴, where p=| p |, q=| q |, , , and in terms of generalised hypergeometric functions ₃F₂(−X), when X<1. These are subsequently analytically continued to the complementary region X≥1. The asymptotic expansion in inverse powers of X^1/2 is derived. The correctness of the results is supported by agreement with previously known special cases and extensive numerical calculations.     

Representations of MV‐algebras by sheaves

In this paper, inspired by methods of Bigard, Keimel, and Wolfenstein ([2]), we develop an approach to sheaf representations of MV‐algebras which combines two techniques for the representation of MV‐algebras devised by Filipoiu and Georgescu ([18]) and by Dubuc and Poveda ([16]). Following Davey approach ([12]), we use a subdirect representation of MV‐algebras that is based on local MV‐algebras. This allowed us to obtain: (a) a representation of any MV‐algebras as MV‐algebra of all global sections of a sheaf of local MV‐algebras on the spectruum of its prime ideals; (b) a representation of MV‐algebras, having the space of minimal prime ideals compact, as MV‐algebra of all global sections of a Hausdorff sheaf of MV‐chains on the space of minimal prime ideals, which is a Stone space; (c) an adjunction between the category of all MV‐algebras and the category of MV‐algebraic spaces, where an MV‐algebraic space is a pair (X, F), where X is a compact topological space and F is a sheaf of MV‐algebras with stalks that are local (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Besov‐Morrey spaces and Triebel‐Lizorkin‐Morrey spaces on domains

The purpose of this paper is to develop a theory of the Besov‐Morrey spaces and the Triebel‐Lizorkin‐Morrey spaces on domains in R ⁿ. We consider the pointwise multiplier operator, the trace operator, the extension operator and the diffeomorphism operator. Not only to domains in R ⁿ we extend our definition of function spaces to compact oriented Riemannian manifolds. Among the properties above, the result for the trace operator is in particular interesting, which reflects the property of the parameters p, q in the Morrey space ??^p_q (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Finite groups with some given systems of Xm‐semipermutable subgroups

Let X be a nonempty subset of a group G. We call a subgroup A of G an X_m‐semipermutable subgroup of G if A has a minimal supplement T in G such that for every maximal subgroup M of any Hall subgroup T₁ of T there exists an element x ∈ X such that AM^x = M^xA. In this paper, we study the structure of finite groups with some given systems of X_m‐semipermutable subgroups (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Calculus of variations and descriptive set theory

If X is a locally compact Polish space, then LSC(X, ?) denotes the compact Polish space of lower semi‐continuous real‐valued functions on X equipped with the topology of epi‐convergence. Our purpose in this article is to prove the following: if –∞ < α < β < ∞ and –∞ < a < b < ∞, while r ∈ ? \ {0}, then the set CV of all f ∈ LSC([α, β ] × [a, b ] × ?, ?) for which there is u ∈ C^r ([α, β ], [a, b ]) such that for any v ∈ C^r ([α, β ], [a, b ]) we have that ∫_α^β f (x, u (x), v ′(x))dx ≥ ∫_α^β f (x, v (x), v (x))dx is not Borel (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The class of infinite dimensional neat reducts of quasi‐polyadic algebras is not axiomatizable

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi‐polyadic algebras and quasi‐polyadic equality algebras, respectively. Let ω ≤ α < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α ‐dimensional neat reducts of algebras in K_β is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3]. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

PRODUCTS IN TOPOLOGY

Abstract

Examples are provided which demonstrate that in many cases topological products do not behave as they should. A new product for topological spaces is defined in a natural way by means of interior covers. In general this is no longer a topological space but can be interpreted as categorical product in a category larger than Top. For compact spaces the new product coincides with the old. There is a converse: For symmetric topological spaces X the following conditions are equivalent: (1) X is compact; (2) for each cardinal k the old and the new product X^k coincide; (3) for each compact Hausdorff space Y the old and the new product X x Y coincide. The new product preserves paracompactness, zero-dimensionality (in the covering sense), the Lindelöf property, and regular-closedness. With respect to the new product, a space is N-complete iff it is zerodimensional and R-complete.     

On the complexity of branch‐and‐bound search for random trees

Let T_n be a b‐ary tree of height n, which has independent, non‐negative, identically distributed random variables associated with each of its edges, a model previously considered by Karp, Pearl, McDiarmid, and Provan. The value of a node is the sum of all the edge values on its path to the root. Consider the problem of finding the minimum leaf value of T_n. Assume that the edge random variable X is nondegenerate, has E {X^θ}<∞ for some θ>2, and satisfies bP{X=c}<1 where c is the leftmost point of the support of X. We analyze the performance of the standard branch‐and‐bound algorithm for this problem and prove that the number of nodes visited is in probability (β+o(1))ⁿ, where β∈(1, b) is a constant depending only on the distribution of the edge random variables. Explicit expressions for β are derived. We also show that any search algorithm must visit (β+o(1))ⁿ nodes with probability tending to 1, so branch‐and‐bound is asymptotically optimal where first‐order asymptotics are concerned. ©1999 John Wiley & Sons, Inc. Random Struct. Alg., 14: 309–327, 1999     

More on extremal ranks of the matrix expressions A − BX ± X*B* with statistical applications

Through a Hermitian‐type (skew‐Hermitian‐type) singular value decomposition for pair of matrices (A, B) introduced by Zha (Linear Algebra Appl. 1996; 240 :199–205), where A is Hermitian (skew‐Hermitian), we show how to find a Hermitian (skew‐Hermitian) matrix X such that the matrix expressions A ? BX ± X^*B^* achieve their maximal and minimal possible ranks, respectively. For the consistent matrix equations BX ± X^*B^* = A, we give general solutions through the two kinds of generalized singular value decompositions. As applications to the general linear model {y, Xβ, σ²V}, we discuss the existence of a symmetric matrix G such that Gy is the weighted least‐squares estimator and the best linear unbiased estimator of Xβ, respectively. Copyright © 2007 John Wiley & Sons, Ltd.     

Version of the Grothendieck theorem for subspaces of analytic functions in lattices

A version of Grothendieck’s inequality says that any bounded linear operator acting from a Banach lattice X to a Banach lattice Y acts from X(ℓ²) to Y (ℓ²) as well. A similar statement is proved for Hardy-type subspaces in lattices of measurable functions. Namely, let X be a Banach lattice of measurable functions on the circle, and let an operator T act from the corresponding subspace of analytic functions X_A to a Banach lattice Y or, if Y is also a lattice of measurable functions on the circle, to the quotient space Y/Y_A. Under certain mild conditions on the lattices involved, it is proved that T induces an operator acting from X_A(ℓ²) to Y (ℓ²) or to Y/Y_A(ℓ2), respectively. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 5–16.