Patterns theory and geodesic automatic structure for a class of groups

We introduce a theory of "patterns" in order to study geodesics in a certain class of group presentations. Using patterns we show that there does not exist a geodesic automatic structure for certain group presentations, and that certain group presentations are almost convex.Comment: Appeared in 2003. I am putting all my past papers on arxi

Cubulating hyperbolic free-by-cyclic groups: the general case

Let $\Phi:F\rightarrow F$ be an automorphism of the finite-rank free group $F$. Suppose that $G=F\rtimes_\Phi\mathbb Z$ is word-hyperbolic. Then $G$ acts freely and cocompactly on a CAT(0) cube complex.Comment: 36 pages, 11 figures. Version 2 contains minor corrections. Accepted to GAF

First-principles study of the effects of gold adsorption on the Al(001) surface properties

In this work, we have studied theoretically the effects of gold adsorption on the Al(001) surface, using {\it ab initio} pseudo-potential method in the framework of the density functional theory. Having found the hollow sites at the Al(001) surface as the most preferred adsorption sites, we have investigated the effects of the Au adsorption with different coverages ($\Theta$=0.11, 0.25, 0.50, 0.75, 1.00 ML) on the geometry, adsorption energy, surface dipole moment, and the work-function of the Al(001) surface. The results show that, even though the work-function of the Al substrate increases with the Au coverage, the surface dipole moment decreases with the changes in coverage from $\Theta=0.11$ ML to $\Theta=0.25$ ML. We have explained this behavior by analyzing the electronic and ionic charge distributions. Furthermore, by studying the diffusion of Au atoms in to the substrate, we have shown that at room temperature the diffusion rate of Au atoms in to the substrate is negligible but, increasing the temperature to about 200$^\circ$ C the Au atoms significantly diffuse in to the substrate, in agreement with the experiment.Comment: 19 pages, 9 eps figure

Automatic structures, rational growth and geometrically finite hyperbolic groups

We show that the set $SA(G)$ of equivalence classes of synchronously automatic structures on a geometrically finite hyperbolic group $G$ is dense in the product of the sets $SA(P)$ over all maximal parabolic subgroups $P$. The set $BSA(G)$ of equivalence classes of biautomatic structures on $G$ is isomorphic to the product of the sets $BSA(P)$ over the cusps (conjugacy classes of maximal parabolic subgroups) of $G$. Each maximal parabolic $P$ is a virtually abelian group, so $SA(P)$ and $BSA(P)$ were computed in ``Equivalent automatic structures and their boundaries'' by M.Shapiro and W.Neumann, Intern. J. of Alg. Comp. 2 (1992) We show that any geometrically finite hyperbolic group has a generating set for which the full language of geodesics for $G$ is regular. Moreover, the growth function of $G$ with respect to this generating set is rational. We also determine which automatic structures on such a group are equivalent to geodesic ones. Not all are, though all biautomatic structures are.Comment: Plain Tex, 26 pages, no figure

Minsky machines and algorithmic problems

This is a survey of using Minsky machines to study algorithmic problems in semigroups, groups and other algebraic systems.Comment: 19 page

Abelian subgroups of Garside groups

In this paper, we show that for every abelian subgroup $H$ of a Garside group, some conjugate $g^{-1}Hg$ consists of ultra summit elements and the centralizer of $H$ is a finite index subgroup of the normalizer of $H$. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the algebraic flat torus theorem for Garside groups and solve several algorithmic problems concerning abelian subgroups of Garside groups.Comment: This article replaces our earlier preprint "Stable super summit sets in Garside groups", arXiv:math.GT/060258

Primitive Words, Free Factors and Measure Preservation

Let F_k be the free group on k generators. A word w \in F_k is called primitive if it belongs to some basis of F_k. We investigate two criteria for primitivity, and consider more generally, subgroups of F_k which are free factors. The first criterion is graph-theoretic and uses Stallings core graphs: given subgroups of finite rank H \le J \le F_k we present a simple procedure to determine whether H is a free factor of J. This yields, in particular, a procedure to determine whether a given element in F_k is primitive. Again let w \in F_k and consider the word map w:G x G x ... x G \to G (from the direct product of k copies of G to G), where G is an arbitrary finite group. We call w measure preserving if given uniform measure on G x G x ... x G, w induces uniform measure on G (for every finite G). This is the second criterion we investigate: it is not hard to see that primitivity implies measure preservation and it was conjectured that the two properties are equivalent. Our combinatorial approach to primitivity allows us to make progress on this problem and in particular prove the conjecture for k=2. It was asked whether the primitive elements of F_k form a closed set in the profinite topology of free groups. Our results provide a positive answer for F_2.Comment: This is a unified version of two manuscripts: "On Primitive words I: A New Algorithm", and "On Primitive Words II: Measure Preservation". 42 pages, 14 figures. Some parts of the paper reorganized towards publication in the Israel J. of Mat

Maxwell Equations in Complex Form of Majorana - Oppenheimer, Solutions with Cylindric Symmetry in Riemann S_{3} and Lobachevsky H_{3} Spaces

Complex formalism of Riemann - Silberstein - Majorana - Oppenheimer in Maxwell electrodynamics is extended to the case of arbitrary pseudo-Riemannian space - time in accordance with the tetrad recipe of Tetrode - Weyl - Fock - Ivanenko. In this approach, the Maxwell equations are solved exactly on the background of static cosmological Einstein model, parameterized by special cylindrical coordinates and realized as a Riemann space of constant positive curvature. A discrete frequency spectrum for electromagnetic modes depending on the curvature radius of space and three parameters is found, and corresponding basis electromagnetic solutions have been constructed explicitly. In the case of elliptical model a part of the constructed solutions should be rejected by continuity considerations. Similar treatment is given for Maxwell equations in hyperbolic Lobachevsky model, the complete basis of electromagnetic solutions in corresponding cylindrical coordinates has been constructed as well, no quantization of frequencies of electromagnetic modes arises.Comment: 39 page

Electron correlation vs. stabilization: A two-electron model atom in an intense laser pulse

We study numerically stabilization against ionization of a fully correlated two-electron model atom in an intense laser pulse. We concentrate on two frequency regimes: very high frequency, where the photon energy exceeds both, the ionization potential of the outer {\em and} the inner electron, and an intermediate frequency where, from a ``single active electron''-point of view the outer electron is expected to stabilize but the inner one is not. Our results reveal that correlation reduces stabilization when compared to results from single active electron-calculations. However, despite this destabilizing effect of electron correlation we still observe a decreasing ionization probability within a certain intensity domain in the high-frequency case. We compare our results from the fully correlated simulations with those from simpler, approximate models. This is useful for future work on ``real'' more-than-one electron atoms, not yet accessible to numerical {\em ab initio} methods.Comment: 8 pages, 8 figures in an extra ps-file, submitted to Phys. Rev. A, updated references and shortened introductio

Beat-wave generation of plasmons in semiconductor plasmas

It is shown that in semiconductor plasmas, it is possible to generate large amplitude plasma waves by the beating of two laser beams with frequency difference close to the plasma frequency. For narrow gap semiconductors (for example n-type InSb), the system can simulate the physics underlying beat wave generation in relativistic gaseous plasmas.Comment: 11 pages, LaTex, no figures, no macro