SOME SUBGROUPS OF THE EXTENDED HECKE GROUPS (λ_q)

The authors consider the extended Hecke groups H(λq) generated by T(z) = -1 / z, S(z) = -1/(z + λq,) and R(z) = 1 / z with A, = 2 cos(π/q) for q≥3 an integer. In this paper, the even subgroup He(λq), the second commutator subgroup H (λq) and the principal congruence subgroups Hp(λq) of the extended Hecke groups H(λq) are studied. Also, relations between them are given.     

Surfaces of revolution in the Heisenberg group and the spectral generalization of the Willmore functional

We study the generalization of the Willmore functional for surfaces in the three-dimensional Heisenberg group. Its construction is based on the spectral theory of the Dirac operator entering into theWeierstrass representation of surfaces in this group. Using the surfaces of revolution we demonstrate that the generalization resembles the Willmore functional for the surfaces in the Euclidean space in many geometrical aspects. We also observe the relation of these functionals to the isoperimetric problem.     

The spectrum of BSA(v, 3, λ; α) with α = 2,3

In this article, a kind of auxiliary design BSA^* for constructing BSAs is introduced and studied. Two powerful recursive constructions on BSAs from 3‐IGDDs and BSA^*s are exploited. Finally, the necessary and sufficient conditions for the existence of a BSA(v, 3, λ; α) with α = 2, 3 are established. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 61–76, 2007     

On a free group of transformations defined by an automaton

We prove that three automorphisms of the rooted binary tree defined by a certain 3-state automaton generate a free non-Abelian group of rank 3. Both authors are supported by the NSF grants DMS-0308985 and DMS-0456185. Yaroslav Vorobets is supported by a Clay Research Scholarship.     

Monoidal functors on the category of representations of a triangular Hopf algebra

Let (H,R) be a triangular Hopf algebra. The monoidal functors on the category of representations ofH is studied, and a universal quantum commutative algebraSeR(M) and a dual H°-comoduleM° for any H-moduleM with an integrale are constructed. Both constructions given here have tensor isomorphism properties. Project supported by the National Natural Science Foundation of China.     

Cyclic reduction and FACR methods for piecewise hermite bicubic orthogonal spline collocation

Cyclic reduction and Fourier analysis-cyclic reduction (FACR) methods are presented for the solution of the linear systems which arise when orthogonal spline collocation with piecewise Hermite bicubics is applied to boundary value problems for certain separable partial differential equations on a rectangle. On anN×N uniform partition, the cyclic reduction and Fourier analysis-cyclic reduction methods requireO(N ²log₂ N) andO(N ²log₂log₂ N) arithmetic operations, respectively.     

New classes of 2-weight cyclic codes

We introduce new classes of 2-weight cyclic codes which are direct sums of 1-weight irreducible cyclic codes      

Representations, convolution square roots and spherical vectors

We extend results on square integrable representations of a locally compact group to subrepresentations of a representations induced from a character of a closed subgroup. We do so working in the framework of quotient representations of ∗-algebras.     

Automatic continuity and representation of group homomorphisms defined between groups of continuous functions

Let C(X,G) be the group of continuous functions from a topological space X into a topological group G with pointwise multiplication as the composition law, endowed with the uniform convergence topology. To what extent does the group structure of C(X,G) determine the topology of X? More generally, when does the existence of a group homomorphism H between the groups C(X,G) and C(Y,G) implies that there is a continuous map h of Y into X such that H is canonically represented by h? We prove that, for any topological group G and compact spaces X and Y, every non-vanishing C-isomorphism (defined below) H of C(X,G) into C(Y,G) is automatically continuous and can be canonically represented by a continuous map h of Y into X. Some applications to specific groups and examples are given in the paper.