Quasi-convex sequences in the circle and the 3-adic integers

In this paper, we present families of quasi-convex sequences converging to zero in the circle group T, and the group J₃ of 3-adic integers. These sequences are determined by increasing sequences of integers. For an increasing sequence , put gn=an+1−an. We prove that

(a)

the set {0}∪{±³−(an+1)|n∈N} is quasi-convex in T if and only if a₀>0 and gn>1 for every n∈N;

(b)

the set {0}∪{±an³|n∈N} is quasi-convex in the group J₃ of 3-adic integers if and only if gn>1 for every n∈N.

Moreover, we solve an open problem from [D. Dikranjan, L. de Leo, Countably infinite quasi-convex sets in some locally compact abelian groups, Topology Appl. 157 (8) (2010) 1347-1356] providing a complete characterization of the sequences such that {0}∪{±²−(an+1)|n∈N} is quasi-convex in T. Using this result, we also obtain a characterization of the sequences such that the set {0}∪{±²−(an+1)|n∈N} is quasi-convex in R.     

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).

     

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L^′ be R-modules. We investigate the properties of the functors and . For instance, we show the following:

(a)

if L and L^′ are artinian, then is artinian, and is noetherian over the completion ;

(b)

if L is artinian and L^′ is Matlis reflexive, then , , and are Matlis reflexive.

Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.     

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 .

     

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.     

Simple arguments on consecutive power residues

By some extremely simple arguments, we point out the following:

(i)

If n is the least positive kth power non-residue modulo a positive integer m, then the greatest number of consecutive kth power residues mod m is smaller than m/n.

(ii)

Let OK be the ring of algebraic integers in a quadratic field with d∈{−1,−2,−3,−7,−11}. Then, for any irreducible π∈OK and positive integer k not relatively prime to , there exists a kth power non-residue ω∈OK modulo π such that .

     

Unprovability threshold for the planar graph minor theorem

This note is part of the implementation of a programme in foundations of mathematics to find exact threshold versions of all mathematical unprovability results known so far, a programme initiated by Weiermann. Here we find the exact versions of unprovability of the finite graph minor theorem with growth rate condition restricted to planar graphs, connected planar graphs and graphs embeddable into a given surface, assuming an unproved conjecture (*): ‘there is a number a>0 such that for all k≥3, and all n≥1, the proportion of connected graphs among unlabelled planar graphs of size n omitting the k-element circle as minor is greater than a’. Let γ be the unlabelled planar growth constant (27.2269≤γ<30.061). Let P(c) be the following first-order arithmetical statement with real parameter c: “for every K there is N such that whenever G₁,G₂,…,G_N are unlabelled planar graphs with |G_i|<K+c⋅log₂i then for some i<j≤N, G_i is isomorphic to a minor of G_j”. Then

1.

for every , P(c) is provable in IΔ₀+exp;

2.

for every , P(c) is unprovable in .

We also give proofs of some upper and lower bounds for unprovability thresholds in the general case of the finite graph minor theorem.     

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.

     

Spectral characterization of some weighted rooted graphs with cliques

The level of a vertex in a rooted graph is one more than its distance from the root vertex. A generalized Bethe tree is a rooted tree in which vertices at the same level have the same degree. We characterize completely the eigenvalues of the Laplacian, signless Laplacian and adjacency matrices of a weighted rooted graph G obtained from a weighted generalized Bethe tree of k levels and weighted cliques in which

(1)

the edges connecting vertices at consecutive levels have the same weight,

(2)

each set of children, in one or more levels, defines a weighted clique, and

(3)

cliques at the same level are isomorphic.

These eigenvalues are the eigenvalues of symmetric tridiagonal matrices of order Moreover, we give results on the multiplicity of the eigenvalues, on the spectral radii and on the algebraic conectivity. Finally, we apply the results to the unweighted case and some particular graphs are studied.     

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.     

Strong convergence of the composite Halpern iteration

Let C be a closed convex subset of a uniformly smooth Banach space E and let T:C→C be a nonexpansive mapping with a nonempty fixed points set. Given a point u∈C, the initial guess x₀∈C is chosen arbitrarily and given sequences , and in (0,1), the following conditions are satisfied:

(i)

;

(ii)

αn→0, βn→0 and 0<a?γn, for some a∈(0,1);

(iii)

, and . Let be a composite iteration process defined by

     

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)).     

Finite sheeted covering maps over 2-dimensional connected, compact Abelian groups

Let G be a 2-dimensional connected, compact Abelian group and s be a positive integer. We prove that a classification of s-sheeted covering maps over G is reduced to a classification of s-index torsionfree supergroups of the Pontrjagin dual . Using group theoretic results from earlier paper we demonstrate its consequences. We also prove that for a connected compact group Y:

(1)

Every finite-sheeted covering map from a connected space over Y is equivalent to a covering homomorphism from a compact, connected group.

(2)

If two finite-sheeted covering homomorphisms over Y are equivalent, then they are equivalent as topological homomorphisms.

     

A local criterion for Weyl modules for groups of type A

Let G be a universal Chevalley group over an algebraically closed field and U⁻ be the subalgebra of generated by all divided powers X_α,m with α<0. We conjecture an algorithm to determine if , where F∈U⁻, ω is a dominant weight and is a highest weight vector of the Weyl module Δ(ω). This algorithm does not use bases of Δ(ω) and is similar to the algorithm for irreducible modules that involves stepwise raising the vector under investigation. For an arbitrary G, this conjecture is proved in one direction and for G of type A in both.     

Strong convergence of the empirical distribution of eigenvalues of sample covariance matrices with a perturbation matrix

Let , where is a random symmetric matrix, a random symmetric matrix, and with being independent real random variables. Suppose that , and are independent. It is proved that the empirical spectral distribution of the eigenvalues of random symmetric matrices converges almost surely to a non-random distribution.     

On continuous choice of retractions onto nonconvex subsets

For a Banach space B and for a class A of its bounded closed retracts, endowed with the Hausdorff metric, we prove that retractions on elements A∈A can be chosen to depend continuously on A, whenever nonconvexity of each A∈A is less than . The key geometric argument is that the set of all uniform retractions onto an α-paraconvex set (in the spirit of E. Michael) is -paraconvex subset in the space of continuous mappings of B into itself. For a Hilbert space H the estimate can be improved to and the constant can be replaced by the root of the equation α+α²+α³=1.