Linear time algorithms for Abelian group isomorphism and related problems

We consider the problem of determining if two finite groups are isomorphic. The groups are assumed to be represented by their multiplication tables. We present an O(n) algorithm that determines if two Abelian groups with n elements each are isomorphic. This improves upon the previous upper bound of O(n log n) [Narayan Vikas, An O(n) algorithm for Abelian p-group isomorphism and an O(n log n) algorithm for Abelian group isomorphism, J. Comput. System Sci. 53 (1996) 1-9] known for this problem. We solve a more general problem of computing the orders of all the elements of any group (not necessarily Abelian) of size n in O(n) time. Our algorithm for isomorphism testing of Abelian groups follows from this result. We use the property that our order finding algorithm works for any group to design a simple O(n) algorithm for testing whether a group of size n, described by its multiplication table, is nilpotent. We also give an O(n) algorithm for determining if a group of size n, described by its multiplication table, is Abelian. (C) 2007 Elsevier Inc. All rights reserved.

Fast Iterative Division of p-adic Numbers

A fast iterative scheme based on the Newton method is described for finding the reciprocal of a finite segment p-adic numbers (Hensel code). The rate of generation of the reciprocal digits per step can be made quadratic or higher order by a proper choice of the starting value and the iterating function. The extension of this method to find the inverse transform of the Hensel code of a rational polynomial over a finite field is also indicated.

Secure Computation in a Bidirectional Relay

Bidirectional relaying, where a relay helps two user nodes to exchange equal length binary messages, has been an active area of recent research. A popular strategy involves a modified Gaussian MAC, where the relay decodes the XOR of the two messages using the naturally-occurring sum of symbols simultaneously transmitted by user nodes. In this work, we consider the Gaussian MAC in bidirectional relaying with an additional secrecy constraint for protection against a honest but curious relay. The constraint is that, while the relay should decode the XOR, it should be fully ignorant of the individual messages of the users. We exploit the symbol addition that occurs in a Gaussian MAC to design explicit strategies that achieve perfect independence between the received symbols and individual transmitted messages. Our results actually hold for a more general scenario where the messages at the two user nodes come from a finite Abelian group G, and the relay must decode the sum within G of the two messages. We provide a lattice coding strategy and study optimal rate versus average power trade-offs for asymptotically large dimensions.

Fermions in synthetic non-Abelian gauge potentials: rashbon condensates to novel Hamiltonians

Recent advances in the generation of synthetic gauge fields in cold atomic systems have stimulated interest in the physics of interacting bosons and fermions in them. In this paper, we discuss interacting two-component fermionic systems in uniform non-Abelian gauge fields that produce a spin-orbit interaction and uniform spin potentials. Two classes of gauge fields discussed include those that produce a Rashba spin-orbit interaction and the type of gauge fields (SM gauge fields) obtained in experiments by the Shanxi and MIT groups. For high symmetry Rashba gauge fields, a two-particle bound state exists even for a vanishingly small attractive interaction described by a scattering length. Upon increasing the strength of a Rashba gauge field, a finite density of weakly interacting fermions undergoes a crossover from a BCS like ground state to a BEC state of a new kind of boson called the rashbon whose properties are determined solely by the gauge field and not by the interaction between the fermions. The rashbon Bose-Einstein condensate (RBEC) is a quite intriguing state with the rashbon-rashbon interactions being independent of the fermion-fermion interactions (scattering length). Furthermore, we show that the RBEC has a transition temperature of the order of the Fermi temperature, suggesting routes to enhance the transition temperatures of weakly interacting superfluids by tuning the spin-orbit coupling. For the SM gauge fields, we show that in a regime of parameters, a pair of particles with finite centre-of-mass momentum is the most strongly bound. In other regimes of centre-of-mass momenta, there is no two-body bound state, but a resonance like feature appears in the scattering continuum. In the many-body setting, this results in flow enhanced pairing. Also, strongly interacting normal states utilizing the scattering resonance can be created opening the possibility of studying properties of helical Fermi liquids. This paper contains a general discussion of the physics of Feshbach resonance in a non-Abelian gauge field, where several novel features such as centre-of-mass-momentum-dependent effective interactions are shown. It is also shown that a uniform non-Abelian gauge field in conjunction with a spatial potential can be used to generate novel Hamiltonians; we discuss an explicit example of the generation of a monopole Hamiltonian.

Synthesis of novel poly[(2,5-dimethoxy-p-phenylene)vinylene] precursors having two eliminatable groups: An approach for the control of conjugation length

Poly[(2,5-dimethoxy-p-phenylene)vinylene] (DMPPV) of varying conjugation length was synthesized by selective elimination of organic soluble precursor polymers that contained two eliminatable groups, namely, methoxy and acetate groups. These precursor copolymers were in turn synthesized by competitive nucleophilic substitution of the sulfonium polyelectrolyte precursor (generated by the standard Wessling route) using methanol and sodium acetate in acetic acid. The composition of the precursor copolymer, in terms of the relative amounts of methoxy and acetate groups, was controlled by varying the composition of the reaction mixture during nucleophilic substitution. Thermal elimination of these precursor copolymers at 250 degrees C, yielded partially conjugated polymers, whose color varied from light yellow to deep red. FT-IR studies confirmed that, while essentially all the acetate groups were eliminated, the methoxy groups were intact and caused the interruption in conjugation. Preliminary photoluminescence studies of the partially eliminated DMPPV samples showed a gradual shift in the emission maximum from 498 to 598 nm with increasing conjugation lengths, suggesting that the color of LED devices fabricated from such polymers can, in principle, be fine-tuned.

Choice of the End Functional Groups in Tri(p-phenylenevinylene) Derivatives Controls Its Physical Gelation Abilities

New supramolecular organogels based on all-trans-tri(p-phenylenevinylene) (TPV) systems possessing different terminal groups, e.g., oxime, hydrazone, phenylhydrazone, and semicarbazone have been synthesized. The self-assembly properties of the compounds that gelate in specific organic solvents and the aggregation motifs of these molecules in the organogels were investigated using UV−vis, fluorescence, FT-IR, and 1H NMR spectroscopy, electron microscopy, differential scanning calorimetry (DSC), and rheology. The temperature variable UV−vis and fluorescence spectroscopy in different solvents clearly show the aggregation pattern of the self-assemblies promoted by hydrogen bonding, aromatic π-stacking, and van der Waals interactions among the individual TPV units. Gelation could be controlled by variation in the number of hydrogen-bonding donors and acceptors in the terminal functional groups of this class of gelators. Also wherever gelation is observed, the individual fibers in gels change to other types of networks in their aggregates depending on the number of hydrogen-bonding sites in the terminal functions. Comparison of the thermal stability of the gels obtained from DSC data of different gelators demonstrates higher phase transition temperature and enthalpy for the hydrazone-based gelator. Rheological studies indicate that the presence of more hydrogen-bonding donors in the periphery of the gelator molecules makes the gel more viscoelastic solidlike. However, in the presence of more numbers of hydrogen-bonding donor/acceptors at the periphery of TPVs such as with semicarbazone a precipitation as opposed to gelation was observed. Clearly, the choice of the end functional groups and the number of hydrogen-bonding groups in the TPV backbone holds the key and modulates the effective length of the chromophore, resulting in interesting optical properties.

BCS-BEC crossover induced by a synthetic non-Abelian gauge field

We investigate the ground state of interacting spin-1/2 fermions in three dimensions at a finite density (rho similar to k(F)(3)) in the presence of a uniform non-Abelian gauge field. The gauge-field configuration (GFC) described by a vector lambda equivalent to (lambda(x),lambda(y),lambda(z)), whose magnitude lambda determines the gauge coupling strength, generates a generalized Rashba spin-orbit interaction. For a weak attractive interaction in the singlet channel described by a small negative scattering length (k(F)vertical bar a(s)vertical bar less than or similar to 1), the ground state in the absence of the gauge field (lambda = 0) is a BCS (Bardeen-Cooper-Schrieffer) superfluid with large overlapping pairs. With increasing gauge-coupling strength, a non-Abelian gauge field engenders a crossover of this BCS ground state to a BEC (Bose-Einstein condensate) of bosons even with a weak attractive interaction that fails to produce a two-body bound state in free vacuum (lambda = 0). For large gauge couplings (lambda/k(F) >> 1), the BEC attained is a condensate of bosons whose properties are solely determined by the Rashba gauge field (and not by the scattering length so long as it is nonzero)-we call these bosons ``rashbons.'' In the absence of interactions (a(s) = 0(-)), the shape of the Fermi surface of the system undergoes a topological transition at a critical gauge coupling lambda(T). For high-symmetry GFCs we show that the crossover from the BCS superfluid to the rashbon BEC occurs in the regime of lambda near lambda(T). In the context of cold atomic systems, these results make an interesting suggestion of obtaining BCS-BEC crossover through a route other than tuning the interaction between the fermions.

3-MANIFOLD GROUPS, KÄHLER GROUPS AND COMPLEX SURFACES

Let G be a Kahler group admitting a short exact sequence 1 -> N -> G -> Q -> 1 where N is finitely generated. (i) Then Q cannot be non-nilpotent solvable. (ii) Suppose in addition that Q satisfies one of the following: (a) Q admits a discrete faithful non-elementary action on H-n for some n >= 2. (b) Q admits a discrete faithful non-elementary minimal action on a simplicial tree with more than two ends. (c) Q admits a (strong-stable) cut R such that the intersection of all conjugates of R is trivial. Then G is virtually a surface group. It follows that if Q is infinite, not virtually cyclic, and is the fundamental group of some closed 3-manifold, then Q contains as a finite index subgroup either a finite index subgroup of the three-dimensional Heisenberg group or the fundamental group of the Cartesian product of a closed oriented surface of positive genus and the circle. As a corollary, we obtain a new proof of a theorem of Dimca and Suciu in Which 3-manifold groups are Kahler groups? J. Eur. Math. Soc. 11 (2009) 521-528] by taking N to be the trivial group. If instead, G is the fundamental group of a compact complex surface, and N is finitely presented, then we show that Q must contain the fundamental group of a Seifert-fibered 3-manifold as a finite index subgroup, and G contains as a finite index subgroup the fundamental group of an elliptic fibration. We also give an example showing that the relation of quasi-isometry does not preserve Kahler groups. This gives a negative answer to a question of Gromov which asks whether Kahler groups can be characterized by their asymptotic geometry.

Non-Abelian monopoles break color. II. Field theory and quantum mechanics

Many grand unified theories (GUT's) predict non-Abelian monopoles which are sources of non-Abelian (and Abelian) magnetic flux. In the preceding paper, we discussed in detail the topological obstructions to the global implementation of the action of the "unbroken symmetry group" H on a classical test particle in the field of such a monopole. In this paper, the existence of similar topological obstructions to the definition of H action on the fields in such a monopole sector, as well as on the states of a quantum-mechanical test particle in the presence of such fields, are shown in detail. Some subgroups of H which can be globally realized as groups of automorphisms are identified. We also discuss the application of our analysis to the SU(5) GUT and show in particular that the non-Abelian monopoles of that theory break color and electroweak symmetries.

Aggregation of apolar peptides in organic solvents. Concentration dependence of 1H-nmr parameters for peptide NH groups in 310 helical decapeptide fragment of suzukacillin

Peptide NH chemical shifts and their temperature dependences have been monitored as a function of concentration for the decapeptide, Boc-Aib-Pro-Val-Aib-Val-Ala-Aib-Ala-Aib-Aib-OMe in CDCl3 (0.001-0.06M) and (CD3)2SO (0.001-0.03M). The chemical shifts and temperature coefficients for all nine NH groups show no significant concentration dependence in (CD3)2SO. Seven NH groups yield low values of temperature coefficients over the entire range, while one yields an intermediate value. In CDCl3, the Aib(1) NH group shows a large concentration dependence of both chemical shift and temperature coefficient, in contrast to the other eight NH groups. The data suggest that in (CD3)2SO, the peptide adopts a 310 helical conformation and is monomeric over the entire concentration range. In CDCl3, the 310 helical peptide associates at a concentration of 0.01M, with the Aib(1) NH involved in an intermolecular hydrogen bond. Association does not disrupt the intramolecular hydrogen-bonding pattern in the decapeptide.

Domains in complex surfaces with non-compact automorphism groups

Let X be an arbitrary complex surface and D a domain in X that has a non-compact group of holomorphic automorphisms. A characterization of those domains D that admit a smooth, weakly pseudoconvex, finite type boundary orbit accumulation point is obtained.

Parametric finite element analyses of geocellsupported embankments

This paper presents the results from parametric finite element analyses of geocell-supported embankments constructed on weak foundation soils. A composite model is used to numerically simulate the improvement in the strength and stiffness of the soil as a result of geocell confinement. The shear strength of the geocell-encased soil is obtained as a function of the additional confining pressure due to the geocell encasement considering it as a thin cylinder subjected to internal pressure. The stiffness of the geocell-encased soil is obtained from the stiffness of the unreinforced soil and the tensile modulus of the geocell material using an empirical equation. The validity of the model is verified by simulating the laboratory experiments on model geocell-supported embankments. Parametric finite element analyses of the geocell-supported embankments are carried out by varying the dimensions of the geocell layer, the tensile strength of the material used for fabricating the geocell layer, the properties of the infill soil, and the depth of the foundation layer. Some important guidelines for selecting the geocell reinforcement to support embankments on weak foundation soils are established through these numerical studies.

Parametrized actor-critic algorithms for finite-horizon MDPs

Due to their non-stationarity, finite-horizon Markov decision processes (FH-MDPs) have one probability transition matrix per stage. Thus the curse of dimensionality affects FH-MDPs more severely than infinite-horizon MDPs. We propose two parametrized 'actor-critic' algorithms to compute optimal policies for FH-MDPs. Both algorithms use the two-timescale stochastic approximation technique, thus simultaneously performing gradient search in the parametrized policy space (the 'actor') on a slower timescale and learning the policy gradient (the 'critic') via a faster recursion. This is in contrast to methods where critic recursions learn the cost-to-go proper. We show w.p 1 convergence to a set with the necessary condition for constrained optima. The proposed parameterization is for FHMDPs with compact action sets, although certain exceptions can be handled. Further, a third algorithm for stochastic control of stopping time processes is presented. We explain why current policy evaluation methods do not work as critic to the proposed actor recursion. Simulation results from flow-control in communication networks attest to the performance advantages of all three algorithms.

Cubic and ultimate groups of complete symmetry

It is shown that the systems of definite actions described by polar and axial tensors of the second rank and their combinations during the superposition of their elements of complete symmetry with the elements of complete symmetry of the "grey" cube, result in 11 cubic crystallographical groups of complete symmetry. There are 35 ultimate groups (i.e., the groups having the axes of symmetry of infinite order) in complete symmetry of finite figures. 14 out of these groups are ultimate groups of symmetry of polar and axial tensors of the second rank and 24 are new groups. All these 24 ultimate groups are conventional groups since they cannot be presented by certain finite figures possessing the axes of symmetry {Mathematical expression}. Geometrical interpretation for some of the groups of complete symmetry is given. The connection between complete symmetry and physical properties of the crystals (electrical, magnetic and optical) is shown.