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

On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an algorithm that, given an arbitrary finite presentation of an automatic group $\Gamma$, will construct explicit finite models for the skeleta of $K(\Gamma,1)$ and hence compute the integral homology and cohomology of $\Gamma$.Comment: 21 pages, 4 figure

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

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

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

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

Near-field interactions between metal nanoparticle surface plasmons and molecular excitons in thin-films: part I: absorption

In this and the following paper (parts I and II, respectively), we systematically study the interactions between surface plasmons of metal nanoparticles (NPs) with excitons in thin-films of organic media. In an effort to exclusively probe near-field interactions, we utilize spherical Ag NPs in a size-regime where far-field light scattering is negligibly small compared to absorption. In part I, we discuss the effect of the presence of these Ag NPs on the absorption of the embedding medium by means of experiment, numerical simulations, and analytical calculations, all shown to be in good agreement. We observe absorption enhancement in the embedding medium due to the Ag NPs with a strong dependence on the medium permittivity, the spectral position relative to the surface plasmon resonance frequency, and the thickness of the organic layer. By introducing a low index spacer layer between the NPs and the organic medium, this absorption enhancement is experimentally confirmed to be a near field effect In part II, we probe the impact of the Ag NPs on the emission of organic molecules by time-resolved and steady-state photoluminescence measurements