Extended directed triple systems

Let {n;b₂,b₁} denote the class of extended directed triple systems of the order n in which the number of blocks of the form [a,b,a] is b₂ and the number of blocks of the form [b,a,a] or [a,a,b] is b₁. In this paper, we have shown that the necessary and sufficient condition for the existence of the class {n;b₂,b₁} is b₁≠1, 0?b₂+b₁?n and

(1)

for ;

(2)

for .

     

Local cohomology modules with respect to an ideal containing the irrelevant ideal

Let R=?_n≥0R_n be a homogeneous Noetherian ring, let M be a finitely generated graded R-module and let R₊=?_n>0R_n. Let b?b₀+R₊, where b₀ is an ideal of R₀. In this paper, we first study the finiteness and vanishing of the n-th graded component of the i-th local cohomology module of M with respect to b. Then, among other things, we show that the set becomes ultimately constant, as n→−∞, in the following cases:

(i)

and (R₀,m₀) is a local ring;

(ii)

dim(R₀)≤1 and R₀ is either a finite integral extension of a domain or essentially of finite type over a field;

(iii)

i≤g_b(M), where g_b(M) denotes the cohomological finite length dimension of M with respect to b.

Also, we establish some results about the Artinian property of certain submodules and quotient modules of .     

Locally compact abelian groups admitting non-trivial quasi-convex null sequences

In this paper, we show that, for every locally compact abelian group G, the following statements are equivalent:

(i)

G contains no sequence such that {0}∪{±x_n∣n∈N} is infinite and quasi-convex in G, and x_n?0;

(ii)

one of the subgroups {g∈G∣2g=0} or {g∈G∣3g=0} is open in G;

(iii)

G contains an open compact subgroup of the form or for some cardinal κ.

     

The topology of continua that are approximated by disjoint subcontinua

Suppose that is a collection of disjoint subcontinua of continuum X such that limi→∞dH(Yi,X)=0 where dH is the Hausdorff metric. Then the following are true:

(1)

X is non-Suslinean.

(2)

If each Yi is chainable and X is finitely cyclic, then X is indecomposable or the union of 2 indecomposable subcontinua.

(3)

If X is G-like, then X is indecomposable.

(4)

If all lie in the same ray and X is finitely cyclic, then X is indecomposable.

     

Complexity results in graph reconstruction

We investigate the relative complexity of the graph isomorphism problem (GI) and problems related to the reconstruction of a graph from its vertex-deleted or edge-deleted subgraphs (in particular, deck checking (DC) and legitimate deck (LD) problems). We show that these problems are closely related for all amounts c?1 of deletion:

(1)

, , , and .

(2)

For all k?2, and .

(3)

For all k?2, .

(4)

.

(5)

For all k?2, .

For many of these results, even the c=1 case was not previously known.Similar to the definition of reconstruction numbers vrn_∃(G) [F. Harary, M. Plantholt, The graph reconstruction number, J. Graph Theory 9 (1985) 451-454] and ern_∃(G) (see [J. Lauri, R. Scapellato Topics in Graph Automorphism and Reconstruction, London Mathematical Society, Cambridge University Press, Cambridge, 2003, p. 120]), we introduce two new graph parameters, vrn_∀(G) and ern_∀(G), and give an example of a family {G_n}_n?4 of graphs on n vertices for which vrn_∃(G_n)<vrn_∀(G_n). For every k?2 and n?1, we show that there exists a collection of k graphs on (2^k-1+1)n+k vertices with 2ⁿ 1-vertex-preimages, i.e., one has families of graph collections whose number of 1-vertex-preimages is huge relative to the size of the graphs involved.     

The space of adding machines generated by continuous self maps of manifolds

Let M be the Cantor space or an n-dimensional manifold with C(M,M) the set of continuous self-maps of M, and . We prove the following:

(1)

If α≠∞, then Sα(M) is a nowhere dense subset of M×C(M,M) that contains no isolated points.

(2)

If α?β, then .

     

Packing 1×2×4 bricks in a cubical box

Given a cubical box C_2n+1 of side 2n+1 and a supply of 1×2×4 bricks, it is proved that if n≥2, then

(A1)

one can pack bricks for n odd, and bricks for n even,

(A2)

the capacity of C_2n+1 is , and if n≡1 or 2 (mod4), this upper bound for the capacity can be reduced by 1.

     

K-group and similarity classification of operators

Let H be a complex separable Hilbert space and L(H) denote the collection of bounded linear operators on H. An operator A in L(H) is said to be a Cowen-Douglas operator if there exist Ω, a connected open subset of complex plane C, and n, a positive integer, such that

(a)

(b)

  for z in Ω;

(c)

; and

(d)

for z in Ω.

In the paper, we give a similarity classification of Cowen-Douglas operators by using the ordered K-group of the commutant algebra as an invariant, and characterize the maximal ideals of the commutant algebras of Cowen-Douglas operators. The theorem greatly generalizes the main result in (Canada J. Math. 156(4) (2004) 742) by simply removing the restriction of strong irreducibility of the operators. The research is also partially inspired by the recent classification theory of simple AH algebras of Elliott-Gong in (Documenta Math. 7 (2002) 255; On the classification of simple inductive limit C^*-algebras, II: The isomorphism theorem, preprint.) (also see (J. Funct. Anal. (1998) 1; Ann. Math. 144 (1996) 497; Amer. J. Math. (1996) 187)).     

Toppling kings in multipartite tournaments by introducing new kings

Let and be two n-tuples of nonnegative integers. An all-4-kings n-partite tournament T(V₁,V₂,…V_n) is said to have a -property if there exists an n-partite tournament T₁(W₁,W₂,…,W_n) such that for each i∈{1,…,n}:

(1)

V_i⊆W_i;

(2)

exactly t_i 4-kings of V_i are not 4-kings in T₁;

(3)

exactly c_i 4-kings of W_i are not vertices of V_i.

We describe all pairs such that there exists an n-partite tournament having -property.     

Collapsed 5-manifolds with pinched positive sectional curvature

Let M be a closed 5-manifold of pinched curvature 0<δ?secM?1. We prove that M is homeomorphic to a spherical space form if one of the following conditions holds:

(i)

The center of the fundamental group has index ?w(δ), a constant depending on δ;

(ii)

and the fundamental group is a non-cyclic group of order ?C, a constant;

(iii)

The volume is less than ?(δ) and the fundamental group is either isomorphic to a spherical 5-space group or has an odd order, and it has a center of index ?w, a constant.

     

Constructions of unitals in Desarguesian planes

We present a new construction of non-classical unitals from a classical unital U in . The resulting non-classical unitals are B-M unitals. The idea is to find a non-standard model Π of with the following three properties:

(i)

points of Π are those of ;

(ii)

lines of Π are certain lines and conics of ;

(iii)

the points in U form a non-classical B-M unital in Π.

Our construction also works for the B-T unital, provided that conics are replaced by certain algebraic curves of higher degree.     

A conjecture of Palamodov about the functors Ext in the category of locally convex spaces

In 1971 Palamodov proved that in the category of locally convex spaces the derived functors Ext^k(E,X) of Hom(E,·) all vanish if E is a (DF)-space, X is a Fréchet space, and one of them is nuclear. He conjectured a “dual result”, namely that Ext^k(E,X)=0 for all if E is a metrizable locally convex space, X is a complete (DF)-space, and one of them is nuclear. Assuming the continuum hypothesis we give a complete answer to this conjecture: If X is an infinite-dimensional nuclear (DF)-space, then

(1)

There is a normed space E such that Ext¹(E,X)≠0.

(2)

where is a countable product of lines.

(3)

Ext^k(E,X)=0 for all k?3 and all locally convex spaces E.

     

Blow-up behavior for a nonlinear heat equation with a localized source in a ball

In this paper, we consider the initial-boundary value problem of a semilinear parabolic equation with local and non-local (localized) reactions in a ball: u_t=Δu+u^p+u^q(x^*,t) in B(R) where p,q>0,B(R)={x∈R^N:|x|<R} and x^*≠0. If max(p,q)>1, there exist blow-up solutions of this problem for large initial data. We treat the radially symmetric and one peak non-negative solution of this problem. We give the complete classification of total blow-up phenomena and single point blow-up phenomena according to p and q.

(i)

If or p=q>2, then single point blow-up occurs whenever solutions blow up.

(ii)

If 1<p<q, both phenomena, total blow-up and single point blow-up, occur depending on the initial data.

(iii)

If p?1<q, total blow-up occurs whenever solutions blow up.

(iv)

If max(p,q)?1, every solution exists globally in time.

     

The Mukai pairing—II: the Hochschild-Kostant-Rosenberg isomorphism

We continue the study of the Hochschild structure of a smooth space that we began in our previous paper, examining implications of the Hochschild-Kostant-Rosenberg theorem. The main contributions of the present paper are:

•

we introduce a generalization of the usual notions of Mukai vector and Mukai pairing on differential forms that applies to arbitrary manifolds;

•

we give a proof of the fact that the natural Chern character map K₀(X)→HH₀(X) becomes, after the HKR isomorphism, the usual one ; and

•

we present a conjecture that relates the Hochschild and harmonic structures of a smooth space, similar in spirit to the Tsygan formality conjecture.

     

Exponential stability and inequalities of solutions of abstract functional differential equations

With the Lyapunov second method, we study the abstract functional differential equation, . We obtain inequalities of solutions and exponential stability with conditions like:

(i)

,

(ii)

.

Applications in ordinary and partial functional differential equations are given.     

Definable sets of generators in maximal cofinitary groups

A group G?Sym(N) is cofinitary if g has finitely many fixed points for every g∈G except the identity element. In this paper, we discuss the definability of maximal cofinitary groups and some related structures. More precisely, we show the following two results:

(1)

Assuming V=L, there is a set of permutations on N which generates a maximal cofinitary group.

(2)

Assuming V=L, there is a mad permutation family in Sym(N).

     

Generalization of transitive fraternal augmentations for directed graphs and its applications

Let be a directed graph. A transitive fraternal augmentation of is a directed graph with the same vertex set, including all the arcs of and such that for any vertices x,y,z,

1.

if and then or (fraternity);

2.

if and then (transitivity).

In this paper, we explore some generalization of the transitive fraternal augmentations for directed graphs and its applications. In particular, we show that the 2-coloring number col₂(G)≤O(∇₁(G)∇₀(G)²), where ∇_k(G) (k≥0) denotes the greatest reduced average density with depth k of a graph G; we give a constructive proof that ∇_k(G) bounds the distance (k+1)-coloring number col_k+1(G) with a function f(∇_k(G)). On the other hand, ∇_k(G)≤(col_2k+1(G))^2k+1. We also show that an inductive generalization of transitive fraternal augmentations can be used to study nonrepetitive colorings of graphs.