-
An algebraic formulation of nonassociative quantum mechanics
Authors:
Peter Schupp,
Richard J. Szabo
Abstract:
We develop a version of quantum mechanics that can handle nonassociative algebras of observables and which reduces to standard quantum theory in the traditional associative setting. Our algebraic approach is naturally probabilistic and is based on using the universal enveloping algebra of a general nonassociative algebra to introduce a generalized notion of associative composition product. We form…
▽ More
We develop a version of quantum mechanics that can handle nonassociative algebras of observables and which reduces to standard quantum theory in the traditional associative setting. Our algebraic approach is naturally probabilistic and is based on using the universal enveloping algebra of a general nonassociative algebra to introduce a generalized notion of associative composition product. We formulate properties of states together with notions of trace, and use them to develop GNS constructions. We describe Heisenberg and Schrödinger pictures of completely positive dynamics, and we illustrate our formalism on the explicit examples of finite-dimensional matrix Jordan algebras as well as the octonion algebra.
△ Less
Submitted 9 May, 2024; v1 submitted 6 November, 2023;
originally announced November 2023.
-
Wehrl entropy, coherent states and quantum channels
Authors:
Peter Schupp
Abstract:
We review Wehrl's definition of a semiclassical entropy in terms of coherent states and give an introductory overview of Lieb's conjecture, its proof (including earlier results), generalizations, and the role of covariant quantum channels in this context. These structures motivate an alternative definition of coherent states and have interesting physical applications and implications.
We review Wehrl's definition of a semiclassical entropy in terms of coherent states and give an introductory overview of Lieb's conjecture, its proof (including earlier results), generalizations, and the role of covariant quantum channels in this context. These structures motivate an alternative definition of coherent states and have interesting physical applications and implications.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
Axion gravitodynamics, Lense-Thirring effect, and gravitational waves
Authors:
Athanasios Chatzistavrakidis,
Georgios Karagiannis,
George Manolakos,
Peter Schupp
Abstract:
We investigate physical implications of a gravitational analog of axion electrodynamics with a parity-violating gravitoelectromagnetic theta term. This is related to the Nieh-Yan topological invariant in gravity with torsion, in contrast to the well-studied gravitational Chern-Simons term quadratic in curvature, coupled via a dynamical axionlike scalar field. Axion gravitodynamics is the correspon…
▽ More
We investigate physical implications of a gravitational analog of axion electrodynamics with a parity-violating gravitoelectromagnetic theta term. This is related to the Nieh-Yan topological invariant in gravity with torsion, in contrast to the well-studied gravitational Chern-Simons term quadratic in curvature, coupled via a dynamical axionlike scalar field. Axion gravitodynamics is the corresponding linearized theory. We find that potentially observable effects are over 80 orders of magnitude stronger than for its Chern-Simons counterpart and could be in reach for detection by experiments in the near future. For a near-Earth scenario, we derive corrections to the Lense-Thirring effect and compare them to data from satellite-based experiments (Gravity Probe B). For gravitational waves, we find modified dispersion relations, derive the corresponding polarization-dependent modified group and phase velocities, and compare them to data from neutron star mergers (GW170817) to derive even stronger bounds.
△ Less
Submitted 17 May, 2022; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics
Authors:
Denis R. Hirschfeldt,
Carl G. Jockusch, Jr.,
Paul E. Schupp
Abstract:
The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $δ$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting $δ([A],[B])$ be the upper density of the symmetric difference of $A$ and $B$. We study the resulting metric space, showing in particular that between any two distinct poi…
▽ More
The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $δ$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting $δ([A],[B])$ be the upper density of the symmetric difference of $A$ and $B$. We study the resulting metric space, showing in particular that between any two distinct points there are continuum many geodesic paths. We also study subspaces of the form $\{[A] : A \in \mathcal U\}$ where $\mathcal U$ is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of $\mathcal U$.
We then define a distance between Turing degrees based on Hausdorff distance in this metric space. We adapt a proof of Monin to show that the distances between degrees that occur are exactly 0, 1/2, and 1, and study which of these values occur most frequently in the senses of measure and category. We define a degree to be attractive if the class of all degrees at distance 1/2 from it has measure 1, and dispersive otherwise. We study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition.
We also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually 1-random, as well as a perfect set whose elements are mutually 1-generic.
Finally, we study the completeness of $(\mathcal S,δ)$ from the perspectives of computability theory and reverse mathematics.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
A gravitational action with stringy $Q$ and $R$ fluxes via deformed differential graded Poisson algebras
Authors:
E. Boffo,
P. Schupp
Abstract:
We study a deformation of a $2$-graded Poisson algebra where the functions of the phase space variables are complemented by linear functions of parity odd velocities. The deformation is carried by a $2$-form $B$-field and a bivector $Π$, that we consider as gauge fields of the geometric and non-geometric fluxes $H$, $f$, $Q$ and $R$ arising in the context of string theory compactification. The tec…
▽ More
We study a deformation of a $2$-graded Poisson algebra where the functions of the phase space variables are complemented by linear functions of parity odd velocities. The deformation is carried by a $2$-form $B$-field and a bivector $Π$, that we consider as gauge fields of the geometric and non-geometric fluxes $H$, $f$, $Q$ and $R$ arising in the context of string theory compactification. The technique used to deform the Poisson brackets is widely known for the point particle interacting with a $U(1)$ gauge field, but not in the case of non-abelian or higher spin fields. The construction is closely related to Generalized Geometry: With an element of the algebra that squares to zero, the graded symplectic picture is equivalent to an exact Courant algebroid over the generalized tangent bundle $E \cong TM \oplus T^{*}M$, and to its higher gauge theory. A particular idempotent graded canonical transformation is equivalent to the generalized metric. Focusing on the generalized differential geometry side we construct an action functional with the Ricci tensor of a connection on covectors, encoding the dynamics of a gravitational theory for a contravariant metric tensor and $Q$ and $R$ fluxes. We also extract a connection on vector fields and determine a non-symmetric metric gravity theory involving a metric and $H$-flux.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Torsion-induced gravitational $θ$ term and gravitoelectromagnetism
Authors:
Athanasios Chatzistavrakidis,
Georgios Karagiannis,
Peter Schupp
Abstract:
Motivated by the analogy between a weak field expansion of general relativity and Maxwell's laws of electrodynamics, we explore physical consequences of a parity violating $θ$ term in gravitoelectromagnetism. This is distinct from the common gravitational $θ$ term formed as a square of the Riemann tensor. Instead it appears as a product of the gravitoelectric and gravitomagnetic fields in the Lagr…
▽ More
Motivated by the analogy between a weak field expansion of general relativity and Maxwell's laws of electrodynamics, we explore physical consequences of a parity violating $θ$ term in gravitoelectromagnetism. This is distinct from the common gravitational $θ$ term formed as a square of the Riemann tensor. Instead it appears as a product of the gravitoelectric and gravitomagnetic fields in the Lagrangian, similar to the Maxwellian $θ$ term. We show that this sector can arise from a quadratic torsion term in nonlinear gravity. In analogy to the physics of topological insulators, the torsion-induced $θ$ parameter can lead to excess mass density at the interface of regions where $θ$ varies and consequently it generates a correction to Newton's law of gravity. We discuss also an analogue of the Witten effect for gravitational dyons.
△ Less
Submitted 12 November, 2020; v1 submitted 13 July, 2020;
originally announced July 2020.
-
Graded Geometry and Tensor Gauge Theories
Authors:
Athanasios Chatzistavrakidis,
Georgios Karagiannis,
Peter Schupp
Abstract:
We review the construction of Lagrangians for higher spin fields of mixed symmetry in the framework of graded geometry. The main advantage of the graded formalism in this context is that it provides universal expressions, in the sense that a given Lagrangian describes the dynamics of any type of bosonic tensor field even though the corresponding explicit expressions in terms of local field compone…
▽ More
We review the construction of Lagrangians for higher spin fields of mixed symmetry in the framework of graded geometry. The main advantage of the graded formalism in this context is that it provides universal expressions, in the sense that a given Lagrangian describes the dynamics of any type of bosonic tensor field even though the corresponding explicit expressions in terms of local field components and their derivatives look rather different. Aside from free fields and their kinetic terms, we also consider higher derivative interaction terms that lead to second order field equations. For scalars, differential forms and bipartite tensors, these are identified with Galileon theories, written in a simple yet elegant form as a generalised kinetic term, and are gauge invariant by construction. For fields of spin higher than 2, we illustrate the candidate Galileon-like interactions and argue that full gauge invariance and locality cannot be simultaneously maintained.
△ Less
Submitted 10 June, 2024; v1 submitted 22 April, 2020;
originally announced April 2020.
-
Dual gravity with $R$ flux from graded Poisson algebra
Authors:
Eugenia Boffo,
Peter Schupp
Abstract:
We suggest a new action for a ``dual'' gravity in a stringy $R$, $Q$ flux background. The construction is based on degree-$2$ graded symplectic geometry with a homological vector field. The structure we consider is non-canonical and features a curvature-free connection. It is known that the data of Poisson structures of degree $2$ with a Hamiltonian correspond to a Courant algebroid on…
▽ More
We suggest a new action for a ``dual'' gravity in a stringy $R$, $Q$ flux background. The construction is based on degree-$2$ graded symplectic geometry with a homological vector field. The structure we consider is non-canonical and features a curvature-free connection. It is known that the data of Poisson structures of degree $2$ with a Hamiltonian correspond to a Courant algebroid on $TM \oplus T^{*}M$, the bundle of generalized geometry. With the bracket for the Courant algebroid and a further bracket which resembles the Lie bracket of vector fields, we get a connection with non-zero curvature for the bundle of generalized geometry. The action is the (almost) Hilbert-Einstein action for that connection.
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
A unified approach to standard and exotic dualizations through graded geometry
Authors:
Athanasios Chatzistavrakidis,
Georgios Karagiannis,
Peter Schupp
Abstract:
Gauge theories can often be formulated in different but physically equivalent ways, a concept referred to as duality. Using a formalism based on graded geometry, we provide a unified treatment of all parent theories for different types of standard and exotic dualizations. Our approach is based on treating tensor fields as functions of a certain degree on graded supermanifolds equipped with a suita…
▽ More
Gauge theories can often be formulated in different but physically equivalent ways, a concept referred to as duality. Using a formalism based on graded geometry, we provide a unified treatment of all parent theories for different types of standard and exotic dualizations. Our approach is based on treating tensor fields as functions of a certain degree on graded supermanifolds equipped with a suitable number of odd coordinates. We present a universal two-parameter first order action for standard and exotic electric/magnetic dualizations and prove in full generality that it yields two dual second order theories with the desired field content and dynamics. Upon choice of parameters, the parent theory reproduces (i) the standard and exotic duals for p-forms and (ii) the standard and double duals for (p,1) bipartite tensor fields, such as the linearized graviton and the Curtright field. Moreover, we discuss how deformations related to codimension-1 branes are included in the parent theory.
△ Less
Submitted 1 December, 2020; v1 submitted 30 August, 2019;
originally announced August 2019.
-
Linking multipole vectors and pseudoentropies for CMB analysis
Authors:
Marvin Pinkwart,
Peter Schupp,
Dominik J. Schwarz
Abstract:
Multipole vectors and pseudoentropies provide powerful tools for a numerically fast and vivid investigation of possible statistically anisotropic, respectively non-Gaussian signs in CMB temperature fluctuations. After reviewing and linking these two conceptions we compare their application to data analysis using the Planck 2015 NILC full sky map.
Multipole vectors and pseudoentropies provide powerful tools for a numerically fast and vivid investigation of possible statistically anisotropic, respectively non-Gaussian signs in CMB temperature fluctuations. After reviewing and linking these two conceptions we compare their application to data analysis using the Planck 2015 NILC full sky map.
△ Less
Submitted 3 May, 2019;
originally announced May 2019.
-
Deformed graded Poisson structures, Generalized Geometry and Supergravity
Authors:
Eugenia Boffo,
Peter Schupp
Abstract:
In recent years, a close connection between supergravity, string effective actions and generalized geometry has been discovered that typically involves a doubling of geometric structures. We investigate this relation from the point of view of graded geometry, introducing an approach based on deformations of graded Poisson structures and derive the corresponding gravity actions. We consider in part…
▽ More
In recent years, a close connection between supergravity, string effective actions and generalized geometry has been discovered that typically involves a doubling of geometric structures. We investigate this relation from the point of view of graded geometry, introducing an approach based on deformations of graded Poisson structures and derive the corresponding gravity actions. We consider in particular natural deformations of the $2$-graded symplectic manifold $T^{*}[2]T[1]M$ that are based on a metric $g$, a closed Neveu-Schwarz $3$-form $H$ (locally expressed in terms of a Kalb-Ramond 2-form $B$) and a scalar dilaton $φ$. The derived bracket formalism relates this structure to the generalized differential geometry of a Courant algebroid, which has the appropriate stringy symmetries, and yields a connection with non-trivial curvature and torsion on the generalized "doubled" tangent bundle $E \cong TM \oplus T^{*}M$. Projecting onto $TM$ with the help of a natural non-isotropic splitting of $E$, we obtain a connection and curvature invariants that reproduce the NS-NS sector of supergravity in 10~dimensions. Further results include a fully generalized Dorfman bracket, a generalized Lie bracket and new formulas for torsion and curvature tensors associated to generalized tangent bundles. A byproduct is a unique Koszul-type formula for the torsionful connection naturally associated to a non-symmetric metric, which resolves ambiguity problems and inconsistencies of traditional approaches to non-symmetric gravity theories.
△ Less
Submitted 15 November, 2019; v1 submitted 21 March, 2019;
originally announced March 2019.
-
Entropy methods for CMB analysis of anisotropy and non-Gaussianity
Authors:
Momchil Minkov,
Marvin Pinkwart,
Peter Schupp
Abstract:
We propose several pseudoentropy measures that agree well with the Wehrl entropy, but are significantly faster to compute. All of them are rotationally invariant measures of entanglement very sensitive to non-Gaussianity, anisotropy, and statistical dependence of spherical harmonic coefficients. We provide a simple proof that the projection pseudoentropy converges to the Wehrl entropy with increas…
▽ More
We propose several pseudoentropy measures that agree well with the Wehrl entropy, but are significantly faster to compute. All of them are rotationally invariant measures of entanglement very sensitive to non-Gaussianity, anisotropy, and statistical dependence of spherical harmonic coefficients. We provide a simple proof that the projection pseudoentropy converges to the Wehrl entropy with increasing dimensionality of the ancilla projection space. Furthermore, for $l=2$, we show that both the Wehrl entropy and the angular pseudoentropy can be expressed as functions of the squared chordal distance of multipole vectors. We also show that the angular pseudoentropy can distinguish between Gaussian and non-Gaussian temperature fluctuations at large multipoles and henceforth provides a non-brute-force method for identifying non-Gaussianities. This allows us to study possible hints of statistical anisotropy and non-Gaussianity in the CMB up to multipole $l=1000$ using Planck 2015/2018, and WMAP 7-yr data. We find that $l=5$ and $28$ have a large entropy at $2$--$3σ$ significance and a slight hint towards a connection of this with the cosmic dipole. On a wider range of large angular scales we do not find indications of isotropy/Gaussianity violation. We also find a small-scale range, $l\in[895,905]$, that is incompatible with the assumptions at about $3σ$ level, although how much this significance can be reduced by taking into account the selection effect is left as an open question. We find overall similar results in our analysis of the 2015 and the 2018 data. Finally, we also demonstrate how a range of angular momenta can be studied with the range angular pseudoentropy. Our main purpose is to introduce the methods, analyze their mathematical background, and demonstrate their usage for providing researchers in this field with an additional tool.
△ Less
Submitted 3 May, 2019; v1 submitted 24 September, 2018;
originally announced September 2018.
-
Tensor Galileons and Gravity
Authors:
Athanasios Chatzistavrakidis,
Fech Scen Khoo,
Diederik Roest,
Peter Schupp
Abstract:
The particular structure of Galileon interactions allows for higher-derivative terms while retaining second order field equations for scalar fields and Abelian $p$-forms. In this work we introduce an index-free formulation of these interactions in terms of two sets of Grassmannian variables. We employ this to construct Galileon interactions for mixed-symmetry tensor fields and coupled systems ther…
▽ More
The particular structure of Galileon interactions allows for higher-derivative terms while retaining second order field equations for scalar fields and Abelian $p$-forms. In this work we introduce an index-free formulation of these interactions in terms of two sets of Grassmannian variables. We employ this to construct Galileon interactions for mixed-symmetry tensor fields and coupled systems thereof. We argue that these tensors are the natural generalization of scalars with Galileon symmetry, similar to $p$-forms and scalars with a shift-symmetry. The simplest case corresponds to linearised gravity with Lovelock invariants, relating the Galileon symmetry to diffeomorphisms. Finally, we examine the coupling of a mixed-symmetry tensor to gravity, and demonstrate in an explicit example that the inclusion of appropriate counterterms retains second order field equations.
△ Less
Submitted 12 January, 2017; v1 submitted 18 December, 2016;
originally announced December 2016.
-
Asymptotic Density and the Theory of Computability: A partial survey
Authors:
Carl G. Jockusch Jr.,
Paul E. Schupp
Abstract:
In this article we survey the development of generic and coarse computability and the main results on how classical asymptotic density interacts with the theory of computability.
In this article we survey the development of generic and coarse computability and the main results on how classical asymptotic density interacts with the theory of computability.
△ Less
Submitted 20 October, 2016;
originally announced October 2016.
-
Computational complexity and the conjugacy problem
Authors:
Alexei Miasnikov,
Paul E. Schupp
Abstract:
The conjugacy problem for a finitely generated group $G$ is the two-variable problem of deciding for an arbitrary pair $(u,v)$ of elements of $G$, whether or not $u$ is conjugate to $v$ in $G$. We construct examples of finitely generated, computably presented groups such that for every element $u_0$ of $G$, the problem of deciding if an arbitrary element is conjugate to $u_0$ is decidable in quadr…
▽ More
The conjugacy problem for a finitely generated group $G$ is the two-variable problem of deciding for an arbitrary pair $(u,v)$ of elements of $G$, whether or not $u$ is conjugate to $v$ in $G$. We construct examples of finitely generated, computably presented groups such that for every element $u_0$ of $G$, the problem of deciding if an arbitrary element is conjugate to $u_0$ is decidable in quadratic time but the worst-case complexity of the global conjugacy problem is arbitrary: it can be any c.e. Turing degree , can exactly mirror the Time Hierarchy Theorem, or can be $\mathcal{NP}$-complete. Our groups also have the property that the conjugacy problem is generically linear time: that is, there is a linear time partial algorithm for the conjugacy problem whose domain has density $1$, so hard instances are very rare. We also consider the complexity relationship of the "half-conjugacy" problem to the conjugacy problem. In the last section we discuss the extreme opposite situation: groups with algorithmically finite conjugation.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Generalized geometry and non-symmetric gravity
Authors:
Branislav Jurco,
Fech Scen Khoo,
Peter Schupp,
Jan Vysoky
Abstract:
Generalized geometry provides the framework for a systematic approach to non-symmetric metric gravity theory and naturally leads to an Einstein-Kalb-Ramond gravity theory with totally anti-symmetric contortion. The approach is related to the study of the low-energy effective closed string gravity actions.
Generalized geometry provides the framework for a systematic approach to non-symmetric metric gravity theory and naturally leads to an Einstein-Kalb-Ramond gravity theory with totally anti-symmetric contortion. The approach is related to the study of the low-energy effective closed string gravity actions.
△ Less
Submitted 14 December, 2015; v1 submitted 1 December, 2015;
originally announced December 2015.
-
Asymptotic density and the coarse computability bound
Authors:
Denis R. Hirschfeldt,
Carl G. Jockusch, Jr.,
Timothy H. McNicholl,
Paul E. Schupp
Abstract:
For $r \in [0,1]$ we say that a set $A \subseteq ω$ is \emph{coarsely computable at density} $r$ if there is a computable set $C$ such that $\{n : C(n) = A(n)\}$ has lower density at least $r$. Let $γ(A) = \sup \{r : A \hbox{ is coarsely computable at density } r\}$. We study the interactions of these concepts with Turing reducibility. For example, we show that if $r \in (0,1]$ there are sets…
▽ More
For $r \in [0,1]$ we say that a set $A \subseteq ω$ is \emph{coarsely computable at density} $r$ if there is a computable set $C$ such that $\{n : C(n) = A(n)\}$ has lower density at least $r$. Let $γ(A) = \sup \{r : A \hbox{ is coarsely computable at density } r\}$. We study the interactions of these concepts with Turing reducibility. For example, we show that if $r \in (0,1]$ there are sets $A_0, A_1$ such that $γ(A_0) = γ(A_1) = r$ where $A_0$ is coarsely computable at density $r$ while $A_1$ is not coarsely computable at density $r$. We show that a real $r \in [0,1]$ is equal to $γ(A)$ for some c.e.\ set $A$ if and only if $r$ is left-$Σ^0_3$. A surprising result is that if $G$ is a $Δ^0_2$ $1$-generic set, and $A \leq\sub{T} G$ with $γ(A) = 1$, then $A$ is coarsely computable at density $1$.
△ Less
Submitted 7 May, 2015;
originally announced May 2015.
-
Coarse Reducibility and Algorithmic Randomness
Authors:
Denis R. Hirschfeldt,
Carl G. Jockusch Jr.,
Rutger Kuyper,
Paul E. Schupp
Abstract:
A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse descriptions of a given set A, especially when A is effectively random in some sense. We show that if A is 1-random and B is computable from every coarse descrip…
▽ More
A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse descriptions of a given set A, especially when A is effectively random in some sense. We show that if A is 1-random and B is computable from every coarse description D of A, then B is K-trivial, which implies that if A is in fact weakly 2-random then B is computable. Our main tool is a kind of compactness theorem for cone-avoiding descriptions, which also allows us to prove the same result for 1-genericity in place of weak 2-randomness. In the other direction, we show that if A is a 1-random set which Turing-reduces to 0', then there is a noncomputable c.e. set computable from every coarse description of A, but that not all K-trivial sets are computable from every coarse description of some 1-random set. We study both uniform and nonuniform notions of coarse reducibility. A set Y is uniformly coarsely reducible to X if there is a Turing functional Phi such that if D is a coarse description of X, then Phi^D is a coarse description of Y. A set B is nonuniformly coarsely reducible to A if every coarse description of A computes a coarse description of B. We show that a certain natural embedding of the Turing degrees into the coarse degrees (both uniform and nonuniform) is not surjective. We also show that if two sets are mutually weakly 3-random, then their coarse degrees form a minimal pair, in both the uniform and nonuniform cases, but that the same is not true of every pair of relatively 2-random sets, at least in the nonuniform coarse degrees.
△ Less
Submitted 7 May, 2015;
originally announced May 2015.
-
Multipass automata and group word problems
Authors:
Tullio Ceccherini-Silberstein,
Michel Coornaert,
Francesca Fiorenzi,
Paul E. Schupp,
Nicholas W. M. Touikan
Abstract:
We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class o…
▽ More
We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these automata by studying groups whose word problems are in the above classes.
△ Less
Submitted 3 July, 2015; v1 submitted 29 April, 2014;
originally announced April 2014.
-
Extended generalized geometry and a DBI-type effective action for branes ending on branes
Authors:
Branislav Jurco,
Peter Schupp,
Jan Vysoky
Abstract:
Starting from the usual bosonic membrane action, we develop the geometry suitable for the description of $p$-brane backgrounds. Using the tools of generalized geometry we derive the generalization of string open-closed relations. Nambu-Poisson structures are used to generalize the concept of semiclassical noncommutativity of $D$-branes governed by Poisson tensor. We naturally describe the correspo…
▽ More
Starting from the usual bosonic membrane action, we develop the geometry suitable for the description of $p$-brane backgrounds. Using the tools of generalized geometry we derive the generalization of string open-closed relations. Nambu-Poisson structures are used to generalize the concept of semiclassical noncommutativity of $D$-branes governed by Poisson tensor. We naturally describe the correspondence of recently proposed commutative and noncommutative versions of an effective action for $p$-branes ending on a $p'$-brane. We calculate the power series expansion of the action in background independent gauge. Leading terms in the double scaling limit are given by a generalization of a (semi-classical) matrix model.
△ Less
Submitted 4 September, 2014; v1 submitted 10 April, 2014;
originally announced April 2014.
-
Nambu-Poisson Gauge Theory
Authors:
Branislav Jurco,
Peter Schupp,
Jan Vysoky
Abstract:
We generalize noncommutative gauge theory using Nambu-Poisson structures to obtain a new type of gauge theory with higher brackets and gauge fields. The approach is based on covariant coordinates and higher versions of the Seiberg-Witten map. We construct a covariant Nambu-Poisson gauge theory action, give its first order expansion in the Nambu-Poisson tensor and relate it to a Nambu-Poisson matri…
▽ More
We generalize noncommutative gauge theory using Nambu-Poisson structures to obtain a new type of gauge theory with higher brackets and gauge fields. The approach is based on covariant coordinates and higher versions of the Seiberg-Witten map. We construct a covariant Nambu-Poisson gauge theory action, give its first order expansion in the Nambu-Poisson tensor and relate it to a Nambu-Poisson matrix model.
△ Less
Submitted 10 May, 2014; v1 submitted 24 March, 2014;
originally announced March 2014.
-
Nonassociative geometry and twist deformations in non-geometric string theory
Authors:
Dionysios Mylonas,
Peter Schupp,
Richard J. Szabo
Abstract:
We describe nonassociative deformations of geometry probed by closed strings in non-geometric flux compactifications of string theory. We show that these non-geometric backgrounds can be geometrised through the dynamics of open membranes whose boundaries propagate in the phase space of the target space compactification, equiped with a twisted Poisson structure. The effective membrane target space…
▽ More
We describe nonassociative deformations of geometry probed by closed strings in non-geometric flux compactifications of string theory. We show that these non-geometric backgrounds can be geometrised through the dynamics of open membranes whose boundaries propagate in the phase space of the target space compactification, equiped with a twisted Poisson structure. The effective membrane target space is determined by the standard Courant algebroid over the target space twisted by an abelian gerbe in momentum space. Quantization of the membrane sigma-model leads to a proper quantization of the non-geometric background, which we relate to Kontsevich's formalism of global deformation quantization that constructs a noncommutative nonassociative star product on phase space. We construct Seiberg-Witten type maps between associative and nonassociative backgrounds, and show how they may realise a nonassociative deformation of gravity. We also explain how this approach is related to the quantization of certain Lie 2-algebras canonically associated to the twisted Courant algebroid, and cochain twist quantization using suitable quasi-Hopf algebras of symmetries in the phase space description of R-space which constructs a Drinfel'd twist with non-trivial 3-cocycle. We illustrate and apply our formalism to present a consistent phase space formulation of nonassociative quantum mechanics.
△ Less
Submitted 28 February, 2014;
originally announced February 2014.
-
Non-Geometric Fluxes, Quasi-Hopf Twist Deformations and Nonassociative Quantum Mechanics
Authors:
Dionysios Mylonas,
Peter Schupp,
Richard J. Szabo
Abstract:
We analyse the symmetries underlying nonassociative deformations of geometry in non-geometric R-flux compactifications which arise via T-duality from closed strings with constant geometric fluxes. Starting from the non-abelian Lie algebra of translations and Bopp shifts in phase space, together with a suitable cochain twist, we construct the quasi-Hopf algebra of symmetries that deforms the algebr…
▽ More
We analyse the symmetries underlying nonassociative deformations of geometry in non-geometric R-flux compactifications which arise via T-duality from closed strings with constant geometric fluxes. Starting from the non-abelian Lie algebra of translations and Bopp shifts in phase space, together with a suitable cochain twist, we construct the quasi-Hopf algebra of symmetries that deforms the algebra of functions and the exterior differential calculus in the phase space description of nonassociative R-space. In this setting nonassociativity is characterised by the associator 3-cocycle which controls non-coassociativity of the quasi-Hopf algebra. We use abelian 2-cocycle twists to construct maps between the dynamical nonassociative star product and a family of associative star products parametrized by constant momentum surfaces in phase space. We define a suitable integration on these nonassociative spaces and find that the usual cyclicity of associative noncommutative deformations is replaced by weaker notions of 2-cyclicity and 3-cyclicity. Using this star product quantization on phase space together with 3-cyclicity, we formulate a consistent version of nonassociative quantum mechanics, in which we calculate the expectation values of area and volume operators, and find coarse-graining of the string background due to the R-flux.
△ Less
Submitted 24 October, 2014; v1 submitted 5 December, 2013;
originally announced December 2013.
-
Asymptotic density and the Ershov hierarchy
Authors:
Rod Downey,
Carl Jockusch,
Timothy H. McNicholl,
Paul Schupp
Abstract:
We classify the asymptotic densities of the $Δ^0_2$ sets according to their level in the Ershov hierarchy. In particular, it is shown that for $n \geq 2$, a real $r \in [0,1]$ is the density of an $n$-c.e.\ set if and only if it is a difference of left-$Π_2^0$ reals. Further, we show that the densities of the $ω$-c.e.\ sets coincide with the densities of the $Δ^0_2$ sets, and there are $ω$-c.e.\ s…
▽ More
We classify the asymptotic densities of the $Δ^0_2$ sets according to their level in the Ershov hierarchy. In particular, it is shown that for $n \geq 2$, a real $r \in [0,1]$ is the density of an $n$-c.e.\ set if and only if it is a difference of left-$Π_2^0$ reals. Further, we show that the densities of the $ω$-c.e.\ sets coincide with the densities of the $Δ^0_2$ sets, and there are $ω$-c.e.\ sets whose density is not the density of an $n$-c.e. set for any $n \in ω$.
△ Less
Submitted 16 August, 2014; v1 submitted 31 August, 2013;
originally announced September 2013.
-
Asymptotic Density and Computably Enumerable Sets
Authors:
Rodney G. Downey,
Carl G. Jockusch Jr.,
Paul E. Schupp
Abstract:
We study connections between classical asymptotic density and c.e. sets. We prove that a c.e. Turing degree d is not low if and only if d contains a c.e. set A of density 1 which has no computable subsets of density 1, giving a natural characterization of non-low c.e. degrees. In contrast, we prove that every nonzero c.e. degree contains a set which is generically computable but not coarsely compu…
▽ More
We study connections between classical asymptotic density and c.e. sets. We prove that a c.e. Turing degree d is not low if and only if d contains a c.e. set A of density 1 which has no computable subsets of density 1, giving a natural characterization of non-low c.e. degrees. In contrast, we prove that every nonzero c.e. degree contains a set which is generically computable but not coarsely computable. There is a very close connection between the computational complexity of a set and the computational complexity of its density as a real number where we measure complexity of real numbers as the position of their left Dedekind cuts in the Arithmetic Hierarchy. We characterize the lower densities, upper densities and densities of both computable and computably enumerable sets. We also study "computable at density r" where r is an arbitrary real number in the unit interval. Finally, we study connections between density and classical smallness notions such as immunity and cohesiveness.
△ Less
Submitted 28 June, 2013;
originally announced July 2013.
-
On the Generalized Geometry Origin of Noncommutative Gauge Theory
Authors:
Branislav Jurco,
Peter Schupp,
Jan Vysoky
Abstract:
We discuss noncommutative gauge theory from the generalized geometry point of view. We argue that the equivalence between the commutative and semiclassically noncommutative DBI actions is naturally encoded in the generalized geometry of D-branes.
We discuss noncommutative gauge theory from the generalized geometry point of view. We argue that the equivalence between the commutative and semiclassically noncommutative DBI actions is naturally encoded in the generalized geometry of D-branes.
△ Less
Submitted 30 July, 2013; v1 submitted 25 March, 2013;
originally announced March 2013.
-
p-Brane Actions and Higher Roytenberg Brackets
Authors:
Branislav Jurco,
Peter Schupp,
Jan Vysoky
Abstract:
Motivated by the quest to understand the analog of non-geometric flux compactification in the context of M-theory, we study higher dimensional analogs of generalized Poisson sigma models and corresponding dual string and p-brane models. We find that higher generalizations of the algebraic structures due to Dorfman, Roytenberg and Courant play an important role and establish their relation to Nambu…
▽ More
Motivated by the quest to understand the analog of non-geometric flux compactification in the context of M-theory, we study higher dimensional analogs of generalized Poisson sigma models and corresponding dual string and p-brane models. We find that higher generalizations of the algebraic structures due to Dorfman, Roytenberg and Courant play an important role and establish their relation to Nambu-Poisson structures.
△ Less
Submitted 6 February, 2013; v1 submitted 5 November, 2012;
originally announced November 2012.
-
Membrane Sigma-Models and Quantization of Non-Geometric Flux Backgrounds
Authors:
Dionysios Mylonas,
Peter Schupp,
Richard J. Szabo
Abstract:
We develop quantization techniques for describing the nonassociative geometry probed by closed strings in flat non-geometric R-flux backgrounds M. Starting from a suitable Courant sigma-model on an open membrane with target space M, regarded as a topological sector of closed string dynamics in R-space, we derive a twisted Poisson sigma-model on the boundary of the membrane whose target space is th…
▽ More
We develop quantization techniques for describing the nonassociative geometry probed by closed strings in flat non-geometric R-flux backgrounds M. Starting from a suitable Courant sigma-model on an open membrane with target space M, regarded as a topological sector of closed string dynamics in R-space, we derive a twisted Poisson sigma-model on the boundary of the membrane whose target space is the cotangent bundle T^*M and whose quasi-Poisson structure coincides with those previously proposed. We argue that from the membrane perspective the path integral over multivalued closed string fields in Q-space is equivalent to integrating over open strings in R-space. The corresponding boundary correlation functions reproduce Kontsevich's deformation quantization formula for the twisted Poisson manifolds. For constant R-flux, we derive closed formulas for the corresponding nonassociative star product and its associator, and compare them with previous proposals for a 3-product of fields on R-space. We develop various versions of the Seiberg-Witten map which relate our nonassociative star products to associative ones and add fluctuations to the R-flux background. We show that the Kontsevich formula coincides with the star product obtained by quantizing the dual of a Lie 2-algebra via convolution in an integrating Lie 2-group associated to the T-dual doubled geometry, and hence clarify the relation to the twisted convolution products for topological nonassociative torus bundles. We further demonstrate how our approach leads to a consistent quantization of Nambu-Poisson 3-brackets.
△ Less
Submitted 25 July, 2012; v1 submitted 4 July, 2012;
originally announced July 2012.
-
Nambu Sigma Model and Branes
Authors:
Peter Schupp,
Branislav Jurco
Abstract:
In analogy to Nambu's generalization of mechanics, we present a generalization of Poisson sigma models to higher dimensional world volumes. We find corresponding generalizations of string sigma models and open-closed string relations for background fields to the case of p-branes. As an application, we discuss a DBI-type effective action for open membranes.
In analogy to Nambu's generalization of mechanics, we present a generalization of Poisson sigma models to higher dimensional world volumes. We find corresponding generalizations of string sigma models and open-closed string relations for background fields to the case of p-branes. As an application, we discuss a DBI-type effective action for open membranes.
△ Less
Submitted 11 May, 2012;
originally announced May 2012.
-
Nambu-Sigma model and effective membrane actions
Authors:
Branislav Jurco,
Peter Schupp
Abstract:
We propose an effective action for a p'-brane with open p-branes ending on it. The action has dual descriptions similar to the commutative and non-commutative ones of the DBI action for D-branes and open strings. The Poisson structure governing the non-commutativity of the D-brane is replaced by a Nambu structure and the open-closed string relations are generalized to the case of p'-branes utilizi…
▽ More
We propose an effective action for a p'-brane with open p-branes ending on it. The action has dual descriptions similar to the commutative and non-commutative ones of the DBI action for D-branes and open strings. The Poisson structure governing the non-commutativity of the D-brane is replaced by a Nambu structure and the open-closed string relations are generalized to the case of p'-branes utilizing a novel Nambu sigma model description of p-branes. In the case of an M5-brane our action interpolates between M5-actions already proposed in the literature and matrix model like actions involving Nambu structures.
△ Less
Submitted 19 March, 2012; v1 submitted 13 March, 2012;
originally announced March 2012.
-
Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic
Authors:
Tullio Ceccherini-Silberstein,
Michel Coornaert,
Francesca Fiorenzi,
Paul E. Schupp
Abstract:
In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order logic.
In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order logic.
△ Less
Submitted 15 January, 2012;
originally announced January 2012.
-
Neutrino propagation in noncommutative spacetimes
Authors:
R. Horvat,
A. Ilakovac,
P. Schupp,
J. Trampetic,
J. You
Abstract:
One-loop theta-exact quantum corrections to the neutrino propagator are computed in noncommutative U*(1) gauge-theory based on Seiberg-Witten maps. Our closed form results show that the one-loop correction contains a hard 1/epsilon UV divergence, as well as a logarithmic IR-divergent term of the type ln sqrt(theta p)^2, thus considerably softening the usual UV/IR mixing phenomenon. We show that bo…
▽ More
One-loop theta-exact quantum corrections to the neutrino propagator are computed in noncommutative U*(1) gauge-theory based on Seiberg-Witten maps. Our closed form results show that the one-loop correction contains a hard 1/epsilon UV divergence, as well as a logarithmic IR-divergent term of the type ln sqrt(theta p)^2, thus considerably softening the usual UV/IR mixing phenomenon. We show that both of these problematic terms vanish for a certain choice of the noncommutative parameter theta which preserves unitarity. We find non-perturbative modifications of the neutrino dispersion relations which are assymptotically independent of the scale of noncommutativity in both the low and high energy limits and may allow superluminal propagation. Finally, we demonstrate how the prodigious freedom in Seiberg-Witten maps may be used to affect neutrino propagation in a profound way.
△ Less
Submitted 2 April, 2012; v1 submitted 21 November, 2011;
originally announced November 2011.
-
Yukawa couplings and seesaw neutrino masses in noncommutative gauge theory
Authors:
Raul Horvat,
Amon Ilakovac,
Peter Schupp,
Josip Trampetic,
Jiangyang You
Abstract:
We consider Yukawa couplings in a theta-exact approach to noncommutative gauge field theory and show that both Dirac and singlet Majorana neutrino mass terms can be consistently accommodated. This shows that in fact the whole neutrino-mass extended standard model on noncommutative spacetime can the formulated in the new nonperturbative (in theta) approach which eliminates the previous restriction…
▽ More
We consider Yukawa couplings in a theta-exact approach to noncommutative gauge field theory and show that both Dirac and singlet Majorana neutrino mass terms can be consistently accommodated. This shows that in fact the whole neutrino-mass extended standard model on noncommutative spacetime can the formulated in the new nonperturbative (in theta) approach which eliminates the previous restriction of Seiberg-Witten map based theories to low-energy phenomena. Spacetime noncommutativity induced couplings between neutrinos and photons as well as Z-bosons appear quite naturally in the model. We derive relevant Feynman rules for the type I seesaw mechanism.
△ Less
Submitted 21 July, 2012; v1 submitted 14 September, 2011;
originally announced September 2011.
-
Photon-neutrino interaction in theta-exact covariant noncommutative field theory
Authors:
R. Horvat,
D. Kekez,
P. Schupp,
J. Trampetic,
J. You
Abstract:
Photon-neutrino interactions arise quite naturally in noncommutative field theories. Such couplings are absent in ordinary field theory and imply experimental lower bounds on the energy scale Lambda_NC ~ 1/|theta|^2 of noncommutativity. Using non-perturbative methods and a Seiberg-Witten map based covariant approach to noncommutative gauge theory, we obtain theta-exact expressions for the interact…
▽ More
Photon-neutrino interactions arise quite naturally in noncommutative field theories. Such couplings are absent in ordinary field theory and imply experimental lower bounds on the energy scale Lambda_NC ~ 1/|theta|^2 of noncommutativity. Using non-perturbative methods and a Seiberg-Witten map based covariant approach to noncommutative gauge theory, we obtain theta-exact expressions for the interactions, thereby eliminating previous restrictions to low-energy phenomena. We discuss implications for plasmon decay, neutrino charge radii, big bang nucleosynthesis and ultrahigh energy cosmic rays. Our results behave reasonably throughout all interaction energy scales, thus facilitating further phenomenological applications.
△ Less
Submitted 4 August, 2011; v1 submitted 17 March, 2011;
originally announced March 2011.
-
-Generic Computability, Turing Reducibility and Asymptotic Density
Authors:
Carl G. Jockusch Jr.,
Paul E. Schupp
Abstract:
Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has density 1 and which agrees with the characteristic function of A on its domain. A set A is coarsely computable if there is a computable set C such that the symme…
▽ More
Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has density 1 and which agrees with the characteristic function of A on its domain. A set A is coarsely computable if there is a computable set C such that the symmetric difference of A and C has density 0. We prove that there is a c.e. set which is generically computable but not coarsely computable and vice versa. We show that every nonzero Turing degree contains a set which is not coarsely computable. We prove that there is a c.e. set of density 1 which has no computable subset of density 1. As a corollary, there is a generically computable set A such that no generic algorithm for A has computable domain. We define a general notion of generic reducibility in the spirt of Turing reducibility and show that there is a natural order-preserving embedding of the Turing degrees into the generic degrees which is not surjective.
△ Less
Submitted 25 October, 2010;
originally announced October 2010.
-
Exact Black Hole Solutions in Noncommutative Gravity
Authors:
Peter Schupp,
Sergey Solodukhin
Abstract:
An exact spherically symmetric black hole solution of a recently proposed noncommutative gravity theory based on star products and twists is constructed. This is the first nontrivial exact solution of that theory. The resulting noncommutative black hole quite naturally exhibits holographic behavior; outside the horizon it has a fuzzy shell-like structure, inside the horizon it has a noncommutati…
▽ More
An exact spherically symmetric black hole solution of a recently proposed noncommutative gravity theory based on star products and twists is constructed. This is the first nontrivial exact solution of that theory. The resulting noncommutative black hole quite naturally exhibits holographic behavior; outside the horizon it has a fuzzy shell-like structure, inside the horizon it has a noncommutative de Sitter geometry. The star product and twist contain Killing vectors and act non-trivially on tensors except the metric, which is central in the algebra. The method used can be applied whenever there are enough spacetime symmetries. This includes noncommutative versions of rotating and charged black holes and higher-dimensional and cosmological solutions.
△ Less
Submitted 15 June, 2009;
originally announced June 2009.
-
UV/IR mixing in noncommutative QED defined by Seiberg-Witten map
Authors:
Peter Schupp,
Jiangyang You
Abstract:
Noncommutative gauge theories defined via Seiberg-Witten map have desirable properties that theories defined directly in terms of noncommutative fields lack, covariance and unrestricted choice of gauge group and charge being among them, but nonperturbative results in the deformation parameter θare hard to obtain. In this article we use a θ-exact approach to study UV/IR mixing in a noncommutative…
▽ More
Noncommutative gauge theories defined via Seiberg-Witten map have desirable properties that theories defined directly in terms of noncommutative fields lack, covariance and unrestricted choice of gauge group and charge being among them, but nonperturbative results in the deformation parameter θare hard to obtain. In this article we use a θ-exact approach to study UV/IR mixing in a noncommutative quantum electrodynamics (NCQED) model defined via Seiberg-Witten map. The fermion contribution of the one loop correction to the photon propagator is computed and it is found that it gives the same UV/IR mixing term as a NCQED model without Seiberg-Witten map.
△ Less
Submitted 30 July, 2008;
originally announced July 2008.
-
Some Quantitative Aspects of Fractional Computability
Authors:
Ilya Kapovich,
Paul Schupp
Abstract:
Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial algorithm. For this purpose it is crucial to specify an allowable effective density, $δ$, of convergence for a partial algorithm. The set $\mathcal{FC}(δ)$ consists of…
▽ More
Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial algorithm. For this purpose it is crucial to specify an allowable effective density, $δ$, of convergence for a partial algorithm. The set $\mathcal{FC}(δ)$ consists of all total functions $ f: Σ^\ast \to \{0,1 \}$ where $Σ$ is a finite alphabet with $|Σ| \ge 2$ which are "fractionally computable at density $δ$". The space $\mathcal{FC}(δ) $ is effectively of the second category while any fractional complexity class, defined using $δ$ and any computable bound $β$ with respect to an abstract Blum complexity measure, is effectively meager. A remarkable result of Kautz and Miltersen shows that relative to an algorithmically random oracle $A$, the relativized class $\mathcal{NP}^A$ does not have effective polynomial measure zero in $\mathcal{E}^A$, the relativization of strict exponential time. We define the class $\mathcal{UFP}^A$ of all languages which are fractionally decidable in polynomial time at ``a uniform rate'' by algorithms with an oracle for $A$. We show that this class does have effective polynomial measure zero in $\mathcal{E}^A$ for every oracle $A$. Thus relaxing the requirement of polynomial time decidability to hold only for a fraction of possible inputs does not compensate for the power of nondeterminism in the case of random oracles.
△ Less
Submitted 27 June, 2007;
originally announced June 2007.
-
On group-theoretic models of randomness and genericity
Authors:
Ilya Kapovich,
Paul Schupp
Abstract:
We compare the random group model of Gromov and the model of generic groups of Arzhantseva and Ol'shanskii.
We compare the random group model of Gromov and the model of generic groups of Arzhantseva and Ol'shanskii.
△ Less
Submitted 8 February, 2010; v1 submitted 31 May, 2007;
originally announced May 2007.
-
Random quotients of the modular group are rigid and essentially incompressible
Authors:
Ilya Kapovich,
Paul Schupp
Abstract:
We show that for any positive integer $m\ge 1$,
$m$-relator quotients of the modular group $M = PSL(2,\mathbb{Z})$ generically satisfy a very strong Mostow-type \emph{isomorphism rigidity}. We also prove that such quotients are generically "essentially incompressible". By this we mean that their "absolute $T$-invariant", measuring the smallest size of any possible finite presentation of the gr…
▽ More
We show that for any positive integer $m\ge 1$,
$m$-relator quotients of the modular group $M = PSL(2,\mathbb{Z})$ generically satisfy a very strong Mostow-type \emph{isomorphism rigidity}. We also prove that such quotients are generically "essentially incompressible". By this we mean that their "absolute $T$-invariant", measuring the smallest size of any possible finite presentation of the group, is bounded below by a function which is almost linear in terms of the length of the given presentation. We compute the precise asymptotics of the number $I_m(n)$ of \emph{isomorphism types} of $m$-relator quotients of $M$ where all the defining relators are cyclically reduced words of length $n$ in $M$. We obtain other algebraic results and show that such quotients are complete, Hopfian, co-Hopfian, one-ended, word-hyperbolic groups.
△ Less
Submitted 14 April, 2006;
originally announced April 2006.
-
CMB statistical anisotropy, multipole vectors and the influence of the dipole
Authors:
Robert C. Helling,
Peter Schupp,
Tiberiu Tesileanu
Abstract:
A simple algorithm which gives the multipole vectors in terms of the roots of a polynomial is given. We find that the reported alignmet of the low l multipole vectors can be summarised as an anti-alignmet of these with the dipole direction. This anti-alignment is not only present in l=2 and 3 but also for l=5 and higher. This alignment is likely due to non-linearity in the data processing. Our r…
▽ More
A simple algorithm which gives the multipole vectors in terms of the roots of a polynomial is given. We find that the reported alignmet of the low l multipole vectors can be summarised as an anti-alignmet of these with the dipole direction. This anti-alignment is not only present in l=2 and 3 but also for l=5 and higher. This alignment is likely due to non-linearity in the data processing. Our results are based on the three year WMAP data, we also list corresponding results for the first year data.
△ Less
Submitted 30 March, 2006; v1 submitted 22 March, 2006;
originally announced March 2006.
-
Densities in free groups and $\mathbb{Z}^k$, Visible Points and Test Elements
Authors:
Ilya Kapovich,
Igor Rivin,
Paul Schupp,
Vladimir Shpilrain
Abstract:
In this article we relate two different densities. Let $F_k$ be the free group of finite rank $k \ge 2$ and let $α$ be the abelianization map from $F_k$ onto $ \mathbb{Z}^k$. We prove that if $S \subseteq \mathbb{Z}^k$ is invariant under the natural action of $SL(k, \mathbb{Z})$ then the asymptotic density of $S$ in $\mathbb Z^k$ and the annular density of its full preimage $α^{-1}(S)$ in $F_k$…
▽ More
In this article we relate two different densities. Let $F_k$ be the free group of finite rank $k \ge 2$ and let $α$ be the abelianization map from $F_k$ onto $ \mathbb{Z}^k$. We prove that if $S \subseteq \mathbb{Z}^k$ is invariant under the natural action of $SL(k, \mathbb{Z})$ then the asymptotic density of $S$ in $\mathbb Z^k$ and the annular density of its full preimage $α^{-1}(S)$ in $F_k$ are equal. This implies, in particular, that for every integer $t\ge 1$, the annular density of the set of elements in $F_k$ that map to $t$-th powers of primitive elements in $\mathbb{Z}^k$ is equal to to $\frac{1}{t^kζ(k)}$, where $ζ$ is the Riemann zeta-function. An element $g$ of a group $G$ is called a \emph{test element} if every endomorphism of $G$ which fixes $g$ is an automorphism of $G$. As an application of the result above we prove that the annular density of the set of all test elements in the free group $F(a,b)$ of rank two is $1-\frac{6}{π^2}$. Equivalently, this shows that the union of all proper retracts in $F(a,b)$ has annular density $\frac{6}{π^2}$. Thus being a test element in $F(a,b)$ is an ``intermediate property'' in the sense that the probability of being a test element is strictly between 0 and 1.
△ Less
Submitted 30 November, 2005; v1 submitted 27 July, 2005;
originally announced July 2005.
-
The Subadditive Ergodic Theorem and generic stretching factors for free group automorphisms
Authors:
Vadim Kaimanovich,
Ilya Kapovich,
Paul Schupp
Abstract:
Given a free group $F_k$ of rank $k\ge 2$ with a fixed set of free generators we associate to any homomorphism $φ$ from $F_k$ to a group $G$ with a left-invariant semi-norm a generic stretching factor, $λ(φ)$, which is a non-commutative generalization of the translation number. We concentrate on the situation when $φ:F_k\to Aut(X)$ corresponds to a free action of $F_k$ on a simplicial tree $X$,…
▽ More
Given a free group $F_k$ of rank $k\ge 2$ with a fixed set of free generators we associate to any homomorphism $φ$ from $F_k$ to a group $G$ with a left-invariant semi-norm a generic stretching factor, $λ(φ)$, which is a non-commutative generalization of the translation number. We concentrate on the situation when $φ:F_k\to Aut(X)$ corresponds to a free action of $F_k$ on a simplicial tree $X$, in particular, when $φ$ corresponds to the action of $F_k$ on its Cayley graph via an automorphism of $F_k$. In this case we are able to obtain some detailed ``arithmetic'' information about the possible values of $λ=λ(φ)$. We show that $λ\ge 1$ and is a rational number with $2kλ\in \mathbb Z[ \frac{1}{2k-1} ]$ for every $φ\in Aut(F_k)$. We also prove that the set of all $λ(φ)$, where $φ$ varies over $Aut(F_k)$, has a gap between 1 and $1+\frac{2k-3}{2k^2-k}$, and the value 1 is attained only for ``trivial'' reasons. Furthermore, there is an algorithm which, when given $φ$, calculates $λ(φ)$.
△ Less
Submitted 6 April, 2005;
originally announced April 2005.
-
A Gravity Theory on Noncommutative Spaces
Authors:
Paolo Aschieri,
Christian Blohmann,
Marija Dimitrijevic,
Frank Meyer,
Peter Schupp,
Julius Wess
Abstract:
A deformation of the algebra of diffeomorphisms is constructed for canonically deformed spaces with constant deformation parameter theta. The algebraic relations remain the same, whereas the comultiplication rule (Leibniz rule) is different from the undeformed one. Based on this deformed algebra a covariant tensor calculus is constructed and all the concepts like metric, covariant derivatives, c…
▽ More
A deformation of the algebra of diffeomorphisms is constructed for canonically deformed spaces with constant deformation parameter theta. The algebraic relations remain the same, whereas the comultiplication rule (Leibniz rule) is different from the undeformed one. Based on this deformed algebra a covariant tensor calculus is constructed and all the concepts like metric, covariant derivatives, curvature and torsion can be defined on the deformed space as well. The construction of these geometric quantities is presented in detail. This leads to an action invariant under the deformed diffeomorphism algebra and can be interpreted as a theta-deformed Einstein-Hilbert action. The metric or the vierbein field will be the dynamical variable as they are in the undeformed theory. The action and all relevant quantities are expanded up to second order in theta.
△ Less
Submitted 16 August, 2005; v1 submitted 22 April, 2005;
originally announced April 2005.
-
The Standard Model on Non-Commutative Space-Time: Strong Interactions Included
Authors:
B. Melic,
K. Passek-Kumericki,
J. Trampetic,
P. Schupp,
M. Wohlgenannt
Abstract:
This paper is a direct extension of our paper: "The Standard Model on Non-Commutative Space-Time: Electroweak currents and Higgs sector", hep-ph/0502249, now with strong interactions included. Apart from the non-commutative corrections to Standard Model strong interactions, several new interactions appear. The most interesting ones are gluonic interactions with the electroweak sector. They are e…
▽ More
This paper is a direct extension of our paper: "The Standard Model on Non-Commutative Space-Time: Electroweak currents and Higgs sector", hep-ph/0502249, now with strong interactions included. Apart from the non-commutative corrections to Standard Model strong interactions, several new interactions appear. The most interesting ones are gluonic interactions with the electroweak sector. They are elaborated here in detail and the Feynman rules for interactions up to O(gs^2 theta) are provided.
△ Less
Submitted 24 May, 2005; v1 submitted 7 March, 2005;
originally announced March 2005.
-
The Standard Model on Non-Commutative Space-Time: Electroweak Currents and Higgs Sector
Authors:
B. Melic,
K. Passek-Kumericki,
J. Trampetic,
P. Schupp,
M. Wohlgenannt
Abstract:
In this article we review the electroweak charged and neutral currents in the Non-Commutative Standard Model (NCSM) and compute the Higgs and Yukawa parts of the NCSM action. With the aim to make the NCSM accessible to phenomenological considerations, all relevant expressions are given in terms of physical fields and Feynman rules are provided.
In this article we review the electroweak charged and neutral currents in the Non-Commutative Standard Model (NCSM) and compute the Higgs and Yukawa parts of the NCSM action. With the aim to make the NCSM accessible to phenomenological considerations, all relevant expressions are given in terms of physical fields and Feynman rules are provided.
△ Less
Submitted 5 May, 2005; v1 submitted 28 February, 2005;
originally announced February 2005.
-
Translation equivalence in free groups
Authors:
Ilya Kapovich,
Gilbert Levitt,
Paul Schupp,
Vladimir Shpilrain
Abstract:
Motivated by the work of Leininger on hyperbolic equivalence of homotopy classes of closed curves on surfaces, we investigate a similar phenomenon for free groups. Namely, we study the situation when two elements $g,h$ in a free group $F$ have the property that for every free isometric action of $F$ on an $\mathbb{R}$-tree $X$ the translation lengths of $g$ and $h$ on $X$ are equal. We give a co…
▽ More
Motivated by the work of Leininger on hyperbolic equivalence of homotopy classes of closed curves on surfaces, we investigate a similar phenomenon for free groups. Namely, we study the situation when two elements $g,h$ in a free group $F$ have the property that for every free isometric action of $F$ on an $\mathbb{R}$-tree $X$ the translation lengths of $g$ and $h$ on $X$ are equal. We give a combinatorial characterization of this phenomenon, called translation equivalence, in terms of Whitehead graphs and exhibit two difference sources of it. The first source of translation equivalence comes from representation theory and $SL_2$ trace identities. The second source comes from geometric properties of groups acting on real trees and a certain power redistribution trick. We also analyze to what extent these are applicable to the tree actions of surface groups that occur in the Thurston compactification of the Teichmuller space.
△ Less
Submitted 10 January, 2005; v1 submitted 16 September, 2004;
originally announced September 2004.
-
The Noncommutative Standard Model and Forbidden Decays
Authors:
Peter Schupp,
Josip Trampetic
Abstract:
In this contribution we discuss the Noncommutative Standard Model and the associated Standard Model-forbidden decays that can possibly serve as an experimental signature of space-time noncommutativity.
In this contribution we discuss the Noncommutative Standard Model and the associated Standard Model-forbidden decays that can possibly serve as an experimental signature of space-time noncommutativity.
△ Less
Submitted 24 May, 2004; v1 submitted 18 May, 2004;
originally announced May 2004.
-
Comment on triple gauge boson interactions in the non-commutative electroweak sector
Authors:
Goran Duplancic,
Peter Schupp,
Josip Trampetic
Abstract:
In this comment we present an analysis of electroweak neutral triple gauge boson couplings projected out of the gauge sector of the extended non-commutative standard model. A brief overview of the current experimental situation is given.
In this comment we present an analysis of electroweak neutral triple gauge boson couplings projected out of the gauge sector of the extended non-commutative standard model. A brief overview of the current experimental situation is given.
△ Less
Submitted 12 September, 2003;
originally announced September 2003.
-
Delzant's T-invariant, Kolmogorov complexity and one-relator groups
Authors:
Ilya Kapovich,
Paul Schupp
Abstract:
We prove that ``almost generically'' for a one-relator group Delzant's $T$-invariant (which measures the smallest size of a finite presentation for a group) is comparable in magnitude with the length of the defining relator. The proof relies on our previous results regarding isomorphism rigidity of generic one-relator groups and on the methods of the theory of Kolmogorov-Chaitin complexity. We a…
▽ More
We prove that ``almost generically'' for a one-relator group Delzant's $T$-invariant (which measures the smallest size of a finite presentation for a group) is comparable in magnitude with the length of the defining relator. The proof relies on our previous results regarding isomorphism rigidity of generic one-relator groups and on the methods of the theory of Kolmogorov-Chaitin complexity. We also give a precise asymptotic estimate (when $k$ is fixed and $n$ goes to infinity) for the number $I_{k,n}$ of isomorphism classes of $k$-generator one-relator groups with a cyclically reduced defining relator of length $n$: \[ I_{k,n}\sim \frac{(2k-1)^n}{nk!2^{k+1}}. \] Here $f(n)\sim g(n)$ means that $\lim_{n\to\infty} f(n)/g(n)=1$.
△ Less
Submitted 30 January, 2005; v1 submitted 25 May, 2003;
originally announced May 2003.
