On the number of graphs with a given endomorphism monoid

For a given finite monoid , let be the number of graphs on n vertices with endomorphism monoid isomorphic to . For any nontrivial monoid we prove that where and are constants depending only on with .For every k there exists a monoid of size k with , on the other hand if a group of unity of has a size k>2 then .     

Fixed points of dual quantum operations

Let ?A be a normal completely positive map on B(H) with Kraus operators . Denote M the subset of normal completely positive maps by . In this note, the relations between the fixed points of ?A and are investigated. We obtain that , where K(H) is the set of all compact operators on H and is the dual of ?A∈M. In addition, we show that the map is a bijection on M.     

All-derivable points in nest algebras

Suppose that A is an operator algebra on a Hilbert space H. An element V in A is called an all-derivable point of A for the strong operator topology if every strong operator topology continuous derivable mapping φ at V is a derivation. Let N be a complete nest on a complex and separable Hilbert space H. Suppose that M belongs to N with {0}≠M≠H and write for M or M^⊥. Our main result is: for any with , if is invertible in , then Ω is an all-derivable point in for the strong operator topology.     

On the computation of the jdeg of blowup algebras

For a graded algebra , its is a global degree that can be used to study issues of complexity of the normalization . Here some techniques grounded on Rees algebra theory are used to estimate . A closely related notion, of divisorial generation, is introduced to count numbers of generators of .     

Classical predicative logic-enriched type theories

A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise different approaches to the foundations of mathematics.The two LTTs we construct are subsystems of the logic-enriched type theory , which is intended to formalise the classical predicative foundation presented by Herman Weyl in his monograph Das Kontinuum. The system has also been claimed to correspond to Weyl’s foundation. By casting and as LTTs, we are able to compare them with . It is a consequence of the work in this paper that is strictly stronger than .The conservativity proof makes use of a novel technique for proving one LTT conservative over another, involving defining an interpretation of the stronger system out of the expressions of the weaker. This technique should be applicable in a wide variety of different cases outside the present work.     

New applications of Besov-type and Triebel-Lizorkin-type spaces

In this paper, the authors prove that Besov-Morrey spaces are proper subspaces of Besov-type spaces and that Triebel-Lizorkin-Morrey spaces are special cases of Triebel-Lizorkin-type spaces . The authors also establish an equivalent characterization of when τ∈[0,1/p). These Besov-type spaces and Triebel-Lizorkin-type spaces were recently introduced to connect Besov spaces and Triebel-Lizorkin spaces with Q spaces. Moreover, for the spaces and , the authors investigate their trace properties and the boundedness of the pseudo-differential operators with homogeneous symbols in these spaces, which generalize the corresponding classical results of Jawerth and Grafakos-Torres by taking τ=0.     

Extension of Fourier algebra homomorphisms to duals of algebras of uniformly continuous functionals

For a locally compact group G, let XG be one of the following introverted subspaces of VN(G): , the C^∗-algebra of uniformly continuous functionals on A(G); , the space of weakly almost periodic functionals on A(G); or , the C^∗-algebra generated by the left regular representation on the measure algebra of G. We discuss the extension of homomorphisms of (reduced) Fourier-Stieltjes algebras on G and H to cb-norm preserving, weak^∗-weak^∗-continuous homomorphisms of into , where (XG,XH) is one of the pairs , , or . When G is amenable, these extensions are characterized in terms of piecewise affine maps.     

Quasi-convex density and determining subgroups of compact abelian groups

For an abelian topological group G, let denote the dual group of all continuous characters endowed with the compact open topology. Given a closed subset X of an infinite compact abelian group G such that w(X)<w(G), and an open neighborhood U of 0 in T, we show that . (Here, w(G) denotes the weight of G.) A subgroup D of G determines G if the map defined by r(χ)=χ?D for , is an isomorphism between and . We prove that

     

Several remarks on dimensions modulo ANR-compacta

We investigate a dimension function L-dim (L is a class of ANR-compacta). Main results are as follows.Let L be an ANR-compactum.(1) If L*L is not contractible, then for every n?0 there is a cube Im with .(2) If L is simply connected and f:X→Y is an acyclic mapping from a finite-dimensional compact Hausdorff space X onto a finite-dimensional space Y, then .(3) If L is simply connected and L*L is not contractible, then for every n?2 there exists a compact Hausdorff space such that , and for an arbitrary closed set either or .     

A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

Directed 3-cycle decompositions of complete directed graphs with quadratic leaves

Let G be a vertex-disjoint union of directed cycles in the complete directed graph D_t, let |E(G)| be the number of directed edges of G and suppose or if t=5, and if t=6. It is proved in this paper that for each positive integer t, there exist -decompositions for D_t−G if and only if .     

Existence of solutions to nonlinear, subcritical higher order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu=f(x,u) on a bounded smooth domain Ω⊂RN with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic linear operator of order 2m whose principle part is of the form . We assume that f is superlinear at the origin and satisfies , , where are positive functions and q>1 is subcritical. By combining degree theory with new and recently established a priori estimates, we prove the existence of a nontrivial solution.     

Maximum bipartite subgraphs of cubic triangle-free planar graphs

Thomassen recently proved, using the Tutte cycle technique, that if G is a 3-connected cubic triangle-free planar graph then G contains a bipartite subgraph with at least edges, improving the previously known lower bound . We extend Thomassen’s technique and further improve this lower bound to .     

Exact rates in log law for positively associated random variables

Let be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set , Mn=maxk?n|Sk|, n?1. Suppose . In this paper, we study the exact convergence rates of a kind of weighted infinite series of , and as ε↘0, respectively.     

How to play the Majority game with a liar

The Majority game is played by a questioner () and an answerer (). holds n elements, each of which can be labeled as 0 or 1. is trying to identify some element holds as having the Majority label or, in the case of a tie, claim there is none. To do this asks questions comparing whether two elements have the same or different label. ’s goal is to ask as few questions as possible while ’s goal is to delay as much as possible. Let q^∗ denote the minimal number of questions needed for to identify a Majority element regardless of ’s answers.In this paper we investigate upper and lower bounds for q^∗ in a variation of the Majority game, where is allowed to lie up to t times. We consider two versions of the game, the adaptive (where questions are asked sequentially) and the oblivious (where questions are asked in one batch).     

A Besov class functional calculus for bounded holomorphic semigroups

It is well-known that -sectorial operators generally do not admit a bounded H^∞ calculus over the right half-plane. In contrast to this, we prove that the H^∞ calculus is bounded over any class of functions whose Fourier spectrum is contained in some interval [ε,σ] with 0<ε<σ<∞. The constant bounding this calculus grows as as and this growth is sharp over all Banach space operators of the class under consideration. It follows from these estimates that -sectorial operators admit a bounded calculus over the Besov algebra of the right half-plane. We also discuss the link between -sectorial operators and bounded Tadmor-Ritt operators.     

Uniformly minimum variance nonnegative quadratic unbiased estimation in a generalized growth curve model

Consider the generalized growth curve model subject to R(X_m)⊆?⊆R(X₁), where B_i are the matrices of unknown regression coefficients, and E=(ε₁,…,ε_s)^′ and are independent and identically distributed with the same first four moments as a random vector normally distributed with mean zero and covariance matrix Σ. We derive the necessary and sufficient conditions under which the uniformly minimum variance nonnegative quadratic unbiased estimator (UMVNNQUE) of the parametric function with C≥0 exists. The necessary and sufficient conditions for a nonnegative quadratic unbiased estimator with of to be the UMVNNQUE are obtained as well.     

On spaces which are D, linearly D and transitively D

In this note, we comment on D-spaces, linearly D-spaces and transitively D-spaces. We show that every meta-Lindelöf space is transitively D. If X is a weak -refinable TD-scattered space, then X is transitively D, where TD is the class of all transitively D-spaces. If X is a weak -refinable -scattered space, then X is a D-space, where is the class of all D-spaces, and hence every weak -refinable (or submetacompact) scattered space is a D-space. This gives a positive answer to a question mentioned by Martínez and Soukup. In the last part of this note, we show that if X is a weak -refinable space then X is linearly D.