237 research outputs found
Accidental parabolics and relatively hyperbolic groups
By constructing, in the relative case, objects analoguous to Rips and Sela's
canonical representatives, we prove that the set of images by morphisms without
accidental parabolic, of a finitely presented group in a relatively hyperbolic
group, is finite, up to conjugacy.Comment: Revision, 24 pages, 4 figure
Existential questions in (relatively) hyperbolic groups {\it and} Finding relative hyperbolic structures
This arXived paper has two independant parts, that are improved and corrected
versions of different parts of a single paper once named "On equations in
relatively hyperbolic groups".
The first part is entitled "Existential questions in (relatively) hyperbolic
groups". We study there the existential theory of torsion free hyperbolic and
relatively hyperbolic groups, in particular those with virtually abelian
parabolic subgroups. We show that the satisfiability of systems of equations
and inequations is decidable in these groups.
In the second part, called "Finding relative hyperbolic structures", we
provide a general algorithm that recognizes the class of groups that are
hyperbolic relative to abelian subgroups.Comment: Two independant parts 23p + 9p, revised. To appear separately in
Israel J. Math, and Bull. London Math. Soc. respectivel
Finding All Solutions of Equations in Free Groups and Monoids with Involution
The aim of this paper is to present a PSPACE algorithm which yields a finite
graph of exponential size and which describes the set of all solutions of
equations in free groups as well as the set of all solutions of equations in
free monoids with involution in the presence of rational constraints. This
became possible due to the recently invented emph{recompression} technique of
the second author.
He successfully applied the recompression technique for pure word equations
without involution or rational constraints. In particular, his method could not
be used as a black box for free groups (even without rational constraints).
Actually, the presence of an involution (inverse elements) and rational
constraints complicates the situation and some additional analysis is
necessary. Still, the recompression technique is general enough to accommodate
both extensions. In the end, it simplifies proofs that solving word equations
is in PSPACE (Plandowski 1999) and the corresponding result for equations in
free groups with rational constraints (Diekert, Hagenah and Gutierrez 2001). As
a byproduct we obtain a direct proof that it is decidable in PSPACE whether or
not the solution set is finite.Comment: A preliminary version of this paper was presented as an invited talk
at CSR 2014 in Moscow, June 7 - 11, 201
Free subgroups of one-relator relative presentations
Suppose that G is a nontrivial torsion-free group and w is a word over the
alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the
group \~G= always contains a nonabelian free subgroup.
For n=1 the question about the existence of nonabelian free subgroups in \~G is
answered completely in the unimodular case (i.e., when the exponent sum of x_1
in w is one). Some generalisations of these results are discussed.Comment: V3: A small correction in the last phrase of the proof of Theorem 1.
4 page
Experimental Evidence for Quantum Structure in Cognition
We proof a theorem that shows that a collection of experimental data of
membership weights of items with respect to a pair of concepts and its
conjunction cannot be modeled within a classical measure theoretic weight
structure in case the experimental data contain the effect called
overextension. Since the effect of overextension, analogue to the well-known
guppy effect for concept combinations, is abundant in all experiments testing
weights of items with respect to pairs of concepts and their conjunctions, our
theorem constitutes a no-go theorem for classical measure structure for common
data of membership weights of items with respect to concepts and their
combinations. We put forward a simple geometric criterion that reveals the non
classicality of the membership weight structure and use experimentally measured
membership weights estimated by subjects in experiments to illustrate our
geometrical criterion. The violation of the classical weight structure is
similar to the violation of the well-known Bell inequalities studied in quantum
mechanics, and hence suggests that the quantum formalism and hence the modeling
by quantum membership weights can accomplish what classical membership weights
cannot do.Comment: 12 pages, 3 figure
Cumulant Expansions and the Spin-Boson Problem
The dynamics of the dissipative two-level system at zero temperature is
studied using three different cumulant expansion techniques. The relative
merits and drawbacks of each technique are discussed. It is found that a new
technique, the non-crossing cumulant expansion, appears to embody the virtues
of the more standard cumulant methods.Comment: 26 pages, LaTe
Classical Logical versus Quantum Conceptual Thought: Examples in Economics, Decision theory and Concept Theory
Inspired by a quantum mechanical formalism to model concepts and their
disjunctions and conjunctions, we put forward in this paper a specific
hypothesis. Namely that within human thought two superposed layers can be
distinguished: (i) a layer given form by an underlying classical deterministic
process, incorporating essentially logical thought and its indeterministic
version modeled by classical probability theory; (ii) a layer given form under
influence of the totality of the surrounding conceptual landscape, where the
different concepts figure as individual entities rather than (logical)
combinations of others, with measurable quantities such as 'typicality',
'membership', 'representativeness', 'similarity', 'applicability', 'preference'
or 'utility' carrying the influences. We call the process in this second layer
'quantum conceptual thought', which is indeterministic in essence, and contains
holistic aspects, but is equally well, although very differently, organized
than logical thought. A substantial part of the 'quantum conceptual thought
process' can be modeled by quantum mechanical probabilistic and mathematical
structures. We consider examples of three specific domains of research where
the effects of the presence of quantum conceptual thought and its deviations
from classical logical thought have been noticed and studied, i.e. economics,
decision theory, and concept theories and which provide experimental evidence
for our hypothesis.Comment: 14 page
Feature integration in natural language concepts
Two experiments measured the joint influence of three key sets of semantic features on the frequency with which artifacts (Experiment 1) or plants and creatures (Experiment 2) were categorized in familiar categories. For artifacts, current function outweighed both originally intended function and current appearance. For biological kinds, appearance and behavior, an inner biological function, and appearance and behavior of offspring all had similarly strong effects on categorization. The data were analyzed to determine whether an independent cue model or an interactive model best accounted for how the effects of the three feature sets combined. Feature integration was found to be additive for artifacts but interactive for biological kinds. In keeping with this, membership in contrasting artifact categories tended to be superadditive, indicating overlapping categories, whereas for biological kinds, it was subadditive, indicating conceptual gaps between categories. It is argued that the results underline a key domain difference between artifact and biological concepts
Quantum dynamics in strong fluctuating fields
A large number of multifaceted quantum transport processes in molecular
systems and physical nanosystems can be treated in terms of quantum relaxation
processes which couple to one or several fluctuating environments. A thermal
equilibrium environment can conveniently be modelled by a thermal bath of
harmonic oscillators. An archetype situation provides a two-state dissipative
quantum dynamics, commonly known under the label of a spin-boson dynamics. An
interesting and nontrivial physical situation emerges, however, when the
quantum dynamics evolves far away from thermal equilibrium. This occurs, for
example, when a charge transferring medium possesses nonequilibrium degrees of
freedom, or when a strong time-dependent control field is applied externally.
Accordingly, certain parameters of underlying quantum subsystem acquire
stochastic character. Herein, we review the general theoretical framework which
is based on the method of projector operators, yielding the quantum master
equations for systems that are exposed to strong external fields. This allows
one to investigate on a common basis the influence of nonequilibrium
fluctuations and periodic electrical fields on quantum transport processes.
Most importantly, such strong fluctuating fields induce a whole variety of
nonlinear and nonequilibrium phenomena. A characteristic feature of such
dynamics is the absence of thermal (quantum) detailed balance.Comment: review article, Advances in Physics (2005), in pres
- …