-
Primitive 4-generated axial algebras of Jordan type
Authors:
Tom De Medts,
Louis Rowen,
Yoav Segev
Abstract:
We show that primitive 4-generated axial algebras of Jordan type are at most 81-dimensional.
We show that primitive 4-generated axial algebras of Jordan type are at most 81-dimensional.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Structure of primitive axial algebras
Authors:
Louis Halle Rowen,
Yoav Segev
Abstract:
"Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to primitive axial algebras, introduced recently by Hall, Rehren, and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and vertex operator algebras.
In earlier work we studied primitive axial algebras, not necessarily commutat…
▽ More
"Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to primitive axial algebras, introduced recently by Hall, Rehren, and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and vertex operator algebras.
In earlier work we studied primitive axial algebras, not necessarily commutative, and showed that they all have Jordan type. In this paper, we show that all finitely generated primitive axial algebras are direct sums of specifically described flexible finite dimensional noncommutative algebras, and commutative axial algebras generated by primitive axes of the same type. In particular,all primitive axial algebras are flexible. They also have Frobenius forms. We give a precise description of all the primitive axes of axial algebras generated by two primitive axes.
△ Less
Submitted 13 June, 2022; v1 submitted 8 June, 2022;
originally announced June 2022.
-
A uniform characterization of the octonions and the quaternions using commutators
Authors:
Erwin Kleinfeld,
Yoav Segev
Abstract:
Let $R$ be a ring with ${\bf 1}$ which is not commutative. Assume that a non-zero commutator in $R$ is not a zero divisor. Assume further that either $R$ is alternative, but not associative, or $R$ is associative and any commutator $v\in R$ satisfies: $v^2$ is in the center of $R.$
We prove that $R$ has no zero divisors. Furthermore, if $\text{char}(R)\ne 2,$ then the localization of $R$ at its…
▽ More
Let $R$ be a ring with ${\bf 1}$ which is not commutative. Assume that a non-zero commutator in $R$ is not a zero divisor. Assume further that either $R$ is alternative, but not associative, or $R$ is associative and any commutator $v\in R$ satisfies: $v^2$ is in the center of $R.$
We prove that $R$ has no zero divisors. Furthermore, if $\text{char}(R)\ne 2,$ then the localization of $R$ at its center is an octonion division algebra, if $R$ is alternative and a quaternion division algebra, if $R$ is associative.
Our proof in both cases is essentially the same and it is elementary and rather self contained.
△ Less
Submitted 21 December, 2021; v1 submitted 8 December, 2021;
originally announced December 2021.
-
Primitive axial algebras are of Jordan type
Authors:
Louis Rowen,
Yoav Segev
Abstract:
The notion of axial algebra is closely related to $3$-transposition groups, the Monster group and vertex operator algebras. In this work we continue our previous works and compete the proof that all algebras generated by a set of primitive axes not necessarily of the same type (see the definition in the body of the paper), are primitive axial algebras of Jordan type.
The notion of axial algebra is closely related to $3$-transposition groups, the Monster group and vertex operator algebras. In this work we continue our previous works and compete the proof that all algebras generated by a set of primitive axes not necessarily of the same type (see the definition in the body of the paper), are primitive axial algebras of Jordan type.
△ Less
Submitted 1 December, 2021; v1 submitted 28 November, 2021;
originally announced November 2021.
-
Axes in non-associative algebras
Authors:
Louis Rowen,
Yoav Segev
Abstract:
"Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to axial algebras, introduced recently by Hall, Rehren and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and Vertex operator algebras.
In this paper we consider fusion rules for semisimple idempotents, following Albert in t…
▽ More
"Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to axial algebras, introduced recently by Hall, Rehren and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and Vertex operator algebras.
In this paper we consider fusion rules for semisimple idempotents, following Albert in the power-associative case. We examine the notion of an axis in the non-commutative setting and show that the dimension $d$ of any algebra $A$ generated by a pair $a,b$ of (not necessarily Jordan) axes of respective types $(λ,δ)$ and $(λ',δ')$ must be at most $5$; $d$ cannot be $4.$ If $d\le 3$ we list all the possibilities for $A$ up to isomorphism.
We prove a variety of additional results and mention some research questions at the end.
△ Less
Submitted 16 November, 2021; v1 submitted 2 September, 2021;
originally announced September 2021.
-
Axes of Jordan type in non-commutative algebras
Authors:
Louis Rowen,
Yoav Segev
Abstract:
The Peirce decomposition of a Jordan algebra with respect to an idempotent is well known. This decomposition was taken one step further and generalized recently by Hall, Rehren and Shpectorov, withtheir introduction of {\it axial algebras}, and in particular {\it primitive axial algebras of Jordan type} (PJs for short). It turns out that these notions are closely related to $3$-transposition group…
▽ More
The Peirce decomposition of a Jordan algebra with respect to an idempotent is well known. This decomposition was taken one step further and generalized recently by Hall, Rehren and Shpectorov, withtheir introduction of {\it axial algebras}, and in particular {\it primitive axial algebras of Jordan type} (PJs for short). It turns out that these notions are closely related to $3$-transposition groups and vertex operator algebras. De Medts, Peacock, Shpectorov, and M. Van Couwenberghe generalized axial algebrasto {\it decomposition algebras} which, in particular, are not necessarily commutative. This paper deals with decomposition algebras which are non-commutative versions of PJs.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
A characterization of the quaternions using commutators
Authors:
Erwin Kleinfeld,
Yoav Segev
Abstract:
Let $R$ be an associative ring with ${\bf 1}$ which is not commutative. Assume that any non-zero commutator $v\in R$ satisfies: $v^2$ is in the center of $R$ and $v$ is not a zero-divisor. (Note that our assumptions do not include finite dimensionality.) We prove that $R$ has no zero divisors, and that if ${\rm char(R)}\ne 2,$ then the localization of $R$ at its center is a quaternion division alg…
▽ More
Let $R$ be an associative ring with ${\bf 1}$ which is not commutative. Assume that any non-zero commutator $v\in R$ satisfies: $v^2$ is in the center of $R$ and $v$ is not a zero-divisor. (Note that our assumptions do not include finite dimensionality.) We prove that $R$ has no zero divisors, and that if ${\rm char(R)}\ne 2,$ then the localization of $R$ at its center is a quaternion division algebra.
△ Less
Submitted 23 July, 2021; v1 submitted 21 July, 2021;
originally announced July 2021.
-
Alternative rings whose associators are not zero-divisors
Authors:
Erwin Kleinfeld,
Yoav Segev
Abstract:
The purpose of this short note is to prove that if $R$ is an alternative ring whose associators are not zero-divisors, then $R$ has no zero divisors. By a result of Bruck and Kleinfeld, if, in addition, the characteristic of $R$ is not $2,$ then the central quotient of $R$ is an octonion division algebra over some field.
The purpose of this short note is to prove that if $R$ is an alternative ring whose associators are not zero-divisors, then $R$ has no zero divisors. By a result of Bruck and Kleinfeld, if, in addition, the characteristic of $R$ is not $2,$ then the central quotient of $R$ is an octonion division algebra over some field.
△ Less
Submitted 22 June, 2021; v1 submitted 21 June, 2021;
originally announced June 2021.
-
Vortex beams of atoms and molecules
Authors:
Alon Luski,
Yair Segev,
Rea David,
Ora Bitton,
Hila Nadler,
A. Ronny Barnea,
Alexey Gorlach,
Ori Cheshnovsky,
Ido Kaminer,
Edvardas Narevicius
Abstract:
Angular momentum plays a central role in a multitude of phenomena in quantum mechanics, recurring in every length scale from the microscopic interactions of light and matter to the macroscopic behavior of superfluids. Vortex beams, carrying intrinsic orbital angular momentum (OAM), are now regularly generated with elementary particles such as photons and electrons, and harnessed for numerous appli…
▽ More
Angular momentum plays a central role in a multitude of phenomena in quantum mechanics, recurring in every length scale from the microscopic interactions of light and matter to the macroscopic behavior of superfluids. Vortex beams, carrying intrinsic orbital angular momentum (OAM), are now regularly generated with elementary particles such as photons and electrons, and harnessed for numerous applications including microscopy and communication. Untapped possibilities remain hidden in vortices of non-elementary particles, as their composite structure can lead to coupling of OAM with internal degrees of freedom. However, thus far, the creation of a vortex beam of a non-elementary particle has never been demonstrated experimentally. We present the first vortex beams of atoms and molecules, formed by diffracting supersonic beams of helium atoms and dimers, respectively, off binary masks made from transmission gratings. By achieving large particle coherence lengths and nanometric grating features, we observe a series of vortex rings corresponding to different OAM states in the accumulated images of particles impacting a detector. This method is general and can be applied to most atomic and molecular gases. Our results may open new frontiers in atomic physics, utilizing the additional degree of freedom of OAM to probe collisions and alter fundamental interactions.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
A short characterization of the Octonions
Authors:
Erwin Kleinfeld,
Yoav Segev
Abstract:
In this paper we prove that if $R$ is a proper alternative ring whose additive group has no $3$-torsion and whose non-zero commutators are not zero-divisors, then $R$ has no zero-divisors. It follows from a theorem of Bruck and Kleinfeld that if, in addition, the characteristic of $R$ is not $2,$ then the central quotient of $R$ is an octonion division algebra over some field. We include other cha…
▽ More
In this paper we prove that if $R$ is a proper alternative ring whose additive group has no $3$-torsion and whose non-zero commutators are not zero-divisors, then $R$ has no zero-divisors. It follows from a theorem of Bruck and Kleinfeld that if, in addition, the characteristic of $R$ is not $2,$ then the central quotient of $R$ is an octonion division algebra over some field. We include other characterizations of octonion division algebras and we also deal with the case where $(R,+)$ has $3$-torsion.
△ Less
Submitted 6 June, 2021; v1 submitted 19 February, 2021;
originally announced February 2021.
-
Flexible idempotents in nonassociative algebras
Authors:
Louis Rowen,
Yoav Segev
Abstract:
``Fusion rules'' are laws of multiplication among eigenspaces of an idempotent. We establish fusion rules for flexible power-associative algebras, following Albert. We define the notion of an axis in the noncommutative setting (compare with [HRS]) and accumulate information about pairs of axes. We also describe a class of noncommutative examples of flexible power-associative algebras.
``Fusion rules'' are laws of multiplication among eigenspaces of an idempotent. We establish fusion rules for flexible power-associative algebras, following Albert. We define the notion of an axis in the noncommutative setting (compare with [HRS]) and accumulate information about pairs of axes. We also describe a class of noncommutative examples of flexible power-associative algebras.
△ Less
Submitted 16 June, 2021; v1 submitted 23 November, 2020;
originally announced November 2020.
-
Low-energy collisions between carbon atoms and oxygen molecules in a magnetic trap
Authors:
Michael Karpov,
Martin Pitzer,
Yair Segev,
Julia Narevicius,
Edvardas Narevicius
Abstract:
Trap** of atoms and molecules in electrostatic, magnetic and optical traps has enabled studying atomic and molecular interactions on a timescale of many seconds, allowing observations of ultra-cold collisions and reactions. Here we report the first magnetic deceleration and trap** of neutral carbon atoms in a static magnetic trap. When co-trap** the carbon atoms with oxygen molecules in a su…
▽ More
Trap** of atoms and molecules in electrostatic, magnetic and optical traps has enabled studying atomic and molecular interactions on a timescale of many seconds, allowing observations of ultra-cold collisions and reactions. Here we report the first magnetic deceleration and trap** of neutral carbon atoms in a static magnetic trap. When co-trap** the carbon atoms with oxygen molecules in a superconducting trap, the carbon signal decays in a non-exponential manner, consistent with losses resulting from atom-molecule collisions. Our findings pave the way to studying both elastic and inelastic collisions of species that cannot be laser cooled, and specifically may facilitate the observation of reactions at low temperatures, such as C + O2 --> CO + O, which is important in interstellar chemistry.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
Collisions between cold molecules in a superconducting magnetic trap
Authors:
Yair Segev,
Martin Pitzer,
Michael Karpov,
Nitzan Akerman,
Julia Narevicius,
Edvardas Narevicius
Abstract:
Collisions between cold molecules are essential for studying fundamental aspects of quantum chemistry, and may enable formation of quantum degenerate molecular matter by evaporative cooling. However, collisions between trapped, naturally occurring molecules have so far eluded direct observation due to the low collision rates of dilute samples. We report the first directly observed collisions betwe…
▽ More
Collisions between cold molecules are essential for studying fundamental aspects of quantum chemistry, and may enable formation of quantum degenerate molecular matter by evaporative cooling. However, collisions between trapped, naturally occurring molecules have so far eluded direct observation due to the low collision rates of dilute samples. We report the first directly observed collisions between cold, trapped molecules, achieved without the need of laser cooling. We magnetically capture molecular oxygen in a 0.8K x kB deep superconducting trap, and set bounds on the ratio between the elastic and inelastic scattering rates, the key parameter determining the feasibility of evaporative cooling. We further co-trap and identify collisions between atoms and molecules, paving the way to studies of cold interspecies collisions in a magnetic trap.
△ Less
Submitted 12 February, 2019;
originally announced February 2019.
-
Half-axes in power associative algebras
Authors:
Yoav Segev
Abstract:
Let $A$ be a commutative, non-associative algebra over a field $\mathbb{F}$ of characteristic $\ne 2$. A half-axis in $A$ is an idempotent $e\in A$ such that $e$ satisfies the Peirce multiplication rules in a Jordan algebra, and, in addition, the $1$-eigenspace of ${\rm ad}_e$ (multiplication by $e$) is one dimensional.
In this paper we consider the identities
$(*)$ $x^2x^2=x^4$ and…
▽ More
Let $A$ be a commutative, non-associative algebra over a field $\mathbb{F}$ of characteristic $\ne 2$. A half-axis in $A$ is an idempotent $e\in A$ such that $e$ satisfies the Peirce multiplication rules in a Jordan algebra, and, in addition, the $1$-eigenspace of ${\rm ad}_e$ (multiplication by $e$) is one dimensional.
In this paper we consider the identities
$(*)$ $x^2x^2=x^4$ and $x^3x^2=xx^4.$
We show that if identities $(*)$ hold strictly in $A,$ then one gets (very) interesting identities between elements in the eigenspaces of ${\rm ad}_e$ (note that if $|\mathbb{F}|>3$ and the identities $(*)$ hold in $A,$ then they hold strictly in $A$). Furthermore we prove that if $A$ is a primitive axial algebra of Jordan type half (i.e., $A$ is generated by half-axes), and the identities $(*)$ hold strictly in $A,$ then $A$ is a Jordan algebra.
△ Less
Submitted 22 January, 2018; v1 submitted 18 July, 2017;
originally announced July 2017.
-
On primitive axial algebras of Jordan type
Authors:
Jonathan I. Hall,
Yoav Segev,
Sergey Shpectorov
Abstract:
In this note we give an overview of our knowledge regarding primitive axial algebras of Jordan type half and connections between $3$-transposition groups and Matsuo algebras. We also show that primitive axial algebras of Jordan type $η$ admit a Frobenius form, for any $η$.
In this note we give an overview of our knowledge regarding primitive axial algebras of Jordan type half and connections between $3$-transposition groups and Matsuo algebras. We also show that primitive axial algebras of Jordan type $η$ admit a Frobenius form, for any $η$.
△ Less
Submitted 9 May, 2017;
originally announced May 2017.
-
Tits Endomorphisms and Buildings of Type $F_4$
Authors:
Tom De Medts,
Yoav Segev,
Richard M. Weiss
Abstract:
The fixed point building of a polarity of a Moufang quadrangle of type $F_4$ is a Moufang set, as is the fixed point building of a semi-linear automorphism of order $2$ of a Moufang octagon that stabilizes at least two panels of one type but none of the other. We show that these two classes of Moufang sets are, in fact, the same, that each member of this class can be constructed as the fixed point…
▽ More
The fixed point building of a polarity of a Moufang quadrangle of type $F_4$ is a Moufang set, as is the fixed point building of a semi-linear automorphism of order $2$ of a Moufang octagon that stabilizes at least two panels of one type but none of the other. We show that these two classes of Moufang sets are, in fact, the same, that each member of this class can be constructed as the fixed point building of a group of order $4$ acting on a building of type $F_4$ and that the group generated by all the root groups of any one of these Moufang sets is simple.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Trap** of molecular Oxygen together with Lithium atoms
Authors:
Nitzan Akerman,
Michael Karpov,
Yair Segev,
Natan Bibelnik,
Julia Narevicius,
Edvardas Narevicius
Abstract:
We demonstrate simultaneous deceleration and trap** of a cold atomic and molecular mixture. This is the first step towards studies of cold atom-molecule collisions at low temperatures as well as application of sympathetic cooling. Both atoms and molecules are cooled in a supersonic expansion and are loaded into a moving magnetic trap which brings them to rest via the Zeeman interaction from an i…
▽ More
We demonstrate simultaneous deceleration and trap** of a cold atomic and molecular mixture. This is the first step towards studies of cold atom-molecule collisions at low temperatures as well as application of sympathetic cooling. Both atoms and molecules are cooled in a supersonic expansion and are loaded into a moving magnetic trap which brings them to rest via the Zeeman interaction from an initial velocity of 375 m/s. We use a beam seeded with molecular Oxygen, and entrain it with Lithium atoms by laser ablation prior to deceleration. The deceleration ends with loading of the mixture into a static quadrupole trap, which is generated by two permanent magnets. We estimate $10^9$ trapped O$_2$ molecules and $10^5$ Li atoms with background pressure limited lifetime on the order of 1 second. With further improvements to Lithium entrainment we expect that sympathetic cooling of molecules is within reach.
△ Less
Submitted 1 November, 2016;
originally announced November 2016.
-
Miyamoto involutions in axial algebras of Jordan type half
Authors:
J. I. Hall,
Y. Segev,
S. Shpectorov
Abstract:
Nonassociative commutative algebras $A$ generated by idempotents $e$ whose adjoint operators ${\rm ad}_e\colon A \rightarrow A$, given by $x \mapsto xe$, are diagonalizable and have few eigenvalues are of recent interest. When certain fusion (multiplication) rules between the associated eigenspaces are imposed, the structure of these algebras remains rich yet rather rigid. For example vertex opera…
▽ More
Nonassociative commutative algebras $A$ generated by idempotents $e$ whose adjoint operators ${\rm ad}_e\colon A \rightarrow A$, given by $x \mapsto xe$, are diagonalizable and have few eigenvalues are of recent interest. When certain fusion (multiplication) rules between the associated eigenspaces are imposed, the structure of these algebras remains rich yet rather rigid. For example vertex operator algebras give rise to such algebras. The connection between the Monster algebra and Monster group extends to many axial algebras which then have interesting groups of automorphisms.
Axial algebras of Jordan type $η$ are commutative algebras generated by idempotents whose adjoint operators have a minimal polynomial dividing $(x-1)x(x-η)$, where $η\notin \{0,1\}$ is fixed, with well-defined and restrictive fusion rules. The case of $η\neq \frac{1}{2}$ was thoroughly analyzed by Hall, Rehren, and Shpectorov in a recent paper, in which axial algebras were introduced. Here we focus on the case where $η=\frac{1}{2}$, which is much less understood and is of a different nature.
△ Less
Submitted 5 October, 2016;
originally announced October 2016.
-
Associative and Jordan algebras generated by two idempotents
Authors:
Louis Rowen,
Yoav Segev
Abstract:
Associative or Jordan algebras generated by two idempotents are described precisely.
Associative or Jordan algebras generated by two idempotents are described precisely.
△ Less
Submitted 15 September, 2016;
originally announced September 2016.
-
Molecular beam brightening by shock-wave suppression
Authors:
Yair Segev,
Natan Bibelnik,
Nitzan Akerman,
Yuval Shagam,
Alon Luski,
Michael Karpov,
Julia Narevicius,
Edvardas Narevicius
Abstract:
Supersonic beams are a prevalent source of cold molecules utilized in the study of chemical reactions, atom interferometry, gas-surface interactions, precision spectroscopy, molecular cooling and more. The triumph of this method emanates from the high densities produced in relation to other methods, however beam density remains fundamentally limited by interference with shock waves reflected from…
▽ More
Supersonic beams are a prevalent source of cold molecules utilized in the study of chemical reactions, atom interferometry, gas-surface interactions, precision spectroscopy, molecular cooling and more. The triumph of this method emanates from the high densities produced in relation to other methods, however beam density remains fundamentally limited by interference with shock waves reflected from collimating surfaces. Here we show experimentally that this shock interaction can be reduced or even eliminated by cryo-cooling the interacting surface. An increase in beam density of nearly an order of magnitude was measured at the lowest surface temperature, with no further fundamental limitation reached. Visualization of the shock waves by plasma discharge and reproduction with direct simulation Monte Carlo calculations both indicate that the suppression of the shock structure is partially caused by lowering the momentum flux of reflected particles, and significantly enhanced by the adsorption of particles to the surface. We observe that the scaling of beam density with source pressure is recovered, paving the way to order of magnitude brighter cold molecular beams.
△ Less
Submitted 17 July, 2016;
originally announced July 2016.
-
Crossed modules as maps between connected components of topological groups
Authors:
Emmanuel D. Farjoun,
Yoav Segev
Abstract:
The purpose of this note is to observe that a homomorphism of discrete groups $f:Γ\to G$ arises as the induced map $π_0(\mathfrak{M})\to π_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups $\mathfrak{M}\subseteq \mathfrak{X},$ if and only if the map $f$ can be equipped with a crossed module structure. In that case an essentially unique realization…
▽ More
The purpose of this note is to observe that a homomorphism of discrete groups $f:Γ\to G$ arises as the induced map $π_0(\mathfrak{M})\to π_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups $\mathfrak{M}\subseteq \mathfrak{X},$ if and only if the map $f$ can be equipped with a crossed module structure. In that case an essentially unique realization $\mathfrak{M}\subseteq \mathfrak{X}$ exists by homotopically discrete topological groups.
△ Less
Submitted 22 April, 2016;
originally announced April 2016.
-
MetroViz: Visual Analysis of Public Transportation Data
Authors:
Fan Du,
Joshua Brulé,
Peter Enns,
Varun Manjunatha,
Yoav Segev
Abstract:
Understanding the quality and usage of public transportation resources is important for schedule optimization and resource allocation. Ridership and adherence are the two main dimensions for evaluating the quality of service. Using Automatic Vehicle Location (AVL), Automatic Passenger Count (APC), and Global Positioning System (GPS) data, ridership data and adherence data of public transportation…
▽ More
Understanding the quality and usage of public transportation resources is important for schedule optimization and resource allocation. Ridership and adherence are the two main dimensions for evaluating the quality of service. Using Automatic Vehicle Location (AVL), Automatic Passenger Count (APC), and Global Positioning System (GPS) data, ridership data and adherence data of public transportation can be collected. In this paper, we discuss the development of a visualization tool for exploring public transportation data. We introduce "map view" and "route view" to help users locate stops in the context of geography and route information. To visualize ridership and adherence information over several years, we introduce "calendar view" - a miniaturized calendar that provides an overview of data where users can interactively select specific days to explore individual trips and stops ("trip subview" and "stop subview"). MetroViz was evaluated via a series of usability tests that included researchers from the Center for Advanced Transportation Technology (CATT) and students from the University of Maryland - College Park in which test participants used the tool to explore three years of bus transit data from Blacksburg, Virginia.
△ Less
Submitted 18 July, 2015;
originally announced July 2015.
-
Relative Schur multipliers and universal extensions of group homomorphisms
Authors:
Emmanuel D. Farjoun,
Yoav Segev
Abstract:
In this note, starting with any group homomorphism $f\colonΓ\to G$, which is surjective upon abelianization, we construct a universal central extension $u\colon U\twoheadrightarrow G,$ UNDER $Γ$ with the same surjective property, such that for any central extension $m\colon M\twoheadrightarrow G,$ under $f,$ there is a unique homomorphism $U\to M$ with the obvious commutation condition. The kernel…
▽ More
In this note, starting with any group homomorphism $f\colonΓ\to G$, which is surjective upon abelianization, we construct a universal central extension $u\colon U\twoheadrightarrow G,$ UNDER $Γ$ with the same surjective property, such that for any central extension $m\colon M\twoheadrightarrow G,$ under $f,$ there is a unique homomorphism $U\to M$ with the obvious commutation condition. The kernel of $u$ is the relative Schur multiplier group $H_2(G,Γ;\mathbb{Z})$ as defined in the paper. The case where $G$ is perfect corresponds to $Γ=1$. This yields homological obstructions to lifting solution of equations in $G.$ Upon repetition, for finite groups, this gives a universal hypercentral factorization of the map $f\colonΓ\to G$.
△ Less
Submitted 22 October, 2014;
originally announced October 2014.
-
A sharply 2-transitive group without a non-trivial abelian normal subgroup
Authors:
Eliyahu Rips,
Yoav Segev,
Katrin Tent
Abstract:
We show that any group $G$ is contained in some sharply 2-transitive group $\mathcal{G}$ without a non-trivial abelian normal subgroup. This answers a long-standing open question. The involutions in the groups $\mathcal{G}$ that we construct have no fixed points.
We show that any group $G$ is contained in some sharply 2-transitive group $\mathcal{G}$ without a non-trivial abelian normal subgroup. This answers a long-standing open question. The involutions in the groups $\mathcal{G}$ that we construct have no fixed points.
△ Less
Submitted 28 May, 2015; v1 submitted 2 June, 2014;
originally announced June 2014.
-
Subnormal closure of a homomorphism
Authors:
Emmanuel D. Farjoun,
Yoav Segev
Abstract:
Let $\varphi\colonΓ\to G$ be a homomorphism of groups. In this paper we introduce the notion of a subnormal map (the inclusion of a subnormal subgroup into a group being a basic prototype). We then consider factorizations $Γ\xrightarrowψ M\xrightarrow{n} G$ of $\varphi,$ with $n$ a subnormal map. We search for a universal such factorization. When $Γ$ and $G$ are finite we show that such universal…
▽ More
Let $\varphi\colonΓ\to G$ be a homomorphism of groups. In this paper we introduce the notion of a subnormal map (the inclusion of a subnormal subgroup into a group being a basic prototype). We then consider factorizations $Γ\xrightarrowψ M\xrightarrow{n} G$ of $\varphi,$ with $n$ a subnormal map. We search for a universal such factorization. When $Γ$ and $G$ are finite we show that such universal factorization exists: $Γ\toΓ_{\infty}\to G,$ where $Γ_{\infty}$ is a hypercentral extension of the subnormal closure $\mathcal{C}$ of $\varphi(Γ)$ in $G$ (i.e.~the kernel of the extension $Γ_{\infty}\to {\mathcal C}$ is contained in the hypercenter of $Γ_{\infty}$). This is closely related to the a relative version of the Bousfield-Kan $\mathbb{Z}$-completion tower of a space. The group $Γ_{\infty}$ is the inverse limit of the normal closures tower of $\varphi$ introduced by us in a recent paper. We prove several stability and finiteness properties of the tower and its inverse limit $Γ_{\infty}$.
△ Less
Submitted 1 May, 2014;
originally announced May 2014.
-
Normal closure and injective normalizer of a group homomorphism
Authors:
Emmanuel D. Farjoun,
Yoav Segev
Abstract:
Let $\varphi\colonΓ\to G$ be a homomorphism of groups. We consider factorizations $Γ\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two factorizations are natural generalizations of the usual normal closure and normalizer of a subgroup. Iterating these universal factorizations yield towers related, on the one h…
▽ More
Let $\varphi\colonΓ\to G$ be a homomorphism of groups. We consider factorizations $Γ\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two factorizations are natural generalizations of the usual normal closure and normalizer of a subgroup. Iterating these universal factorizations yield towers related, on the one hand, to hypercentral group extensions, Bousfield's localizations, and relative Schur multipliers. Dually, they extend to a relative situation, the automorphisms tower of a centerless group. Our constructions have strong ties to topological constructions.
△ Less
Submitted 2 November, 2014; v1 submitted 14 March, 2014;
originally announced March 2014.
-
On graphs and valuations
Authors:
Ido Efrat,
Andrei S. Rapinchuk,
Yoav Segev
Abstract:
In the last two decades new techniques emerged to construct valuations on an infinite division ring $D,$ given a normal subgroup $N\subseteq D$ of finite index. These techniques were based on the commuting graph of $D^{\times}/N$ in the case where $D$ is non-commutative, and on the Milnor K-graph on $D^{\times}/N,$ in the case where $D$ is commutative. In this paper we unify these two approaches a…
▽ More
In the last two decades new techniques emerged to construct valuations on an infinite division ring $D,$ given a normal subgroup $N\subseteq D$ of finite index. These techniques were based on the commuting graph of $D^{\times}/N$ in the case where $D$ is non-commutative, and on the Milnor K-graph on $D^{\times}/N,$ in the case where $D$ is commutative. In this paper we unify these two approaches and consider V-graphs on $D^{\times}/N$ and how they lead to valuations. We furthermore generalize previous results to situations of finitely many valuations.
△ Less
Submitted 27 August, 2014; v1 submitted 31 January, 2014;
originally announced January 2014.
-
Scanning nano-SQUID with single electron spin sensitivity
Authors:
Denis Vasyukov,
Yonathan Anahory,
Lior Embon,
Dorri Halbertal,
Jo Cuppens,
Lior Ne'eman,
Amit Finkler,
Yehonathan Segev,
Yuri Myasoedov,
Michael L. Rappaport,
Martin E. Huber,
Eli Zeldov
Abstract:
One of the critical milestones in the intensive pursuit of quantitative nanoscale magnetic imaging tools is achieving the level of sensitivity required for detecting the field generated by the spin magnetic moment μB of a single electron. Superconducting quantum interference devices (SQUIDs), which were traditionally the most sensitive magnetometers, could not hitherto reach this goal because of t…
▽ More
One of the critical milestones in the intensive pursuit of quantitative nanoscale magnetic imaging tools is achieving the level of sensitivity required for detecting the field generated by the spin magnetic moment μB of a single electron. Superconducting quantum interference devices (SQUIDs), which were traditionally the most sensitive magnetometers, could not hitherto reach this goal because of their relatively large effective size (of the order of 1 μm). Here we report self-aligned fabrication of nano-SQUIDs with diameters as small as 46 nm and with an extremely low flux noise of 50 nΦ0/Hz^1/2, representing almost two orders of magnitude improvement in spin sensitivity, down to 0.38 μB/Hz^1/2. In addition, the devices operate over a wide range of magnetic fields with 0.6 μB/Hz^1/2 sensitivity even at 1 T. We demonstrate magnetic imaging of vortices in type II superconductor that are 120 nm apart and scanning measurements of AC magnetic fields down to 50 nT. The unique geometry of these nano-SQUIDs that reside on the apex of a sharp tip allows approaching the sample to within a few nm, which paves the way to a new class of single-spin resolved scanning probe microscopy.
△ Less
Submitted 3 August, 2013;
originally announced August 2013.
-
Scanning superconducting quantum interference device on a tip for magnetic imaging of nanoscale phenomena
Authors:
A. Finkler,
D. Vasyukov,
Y. Segev,
L. Ne'eman,
E. O. Lachman,
M. L. Rappaport,
Y. Myasoedov,
E. Zeldov,
M. E. Huber
Abstract:
We describe a new type of scanning probe microscope based on a superconducting quantum interference device (SQUID) that resides on the apex of a sharp tip. The SQUID-on-tip is glued to a quartz tuning fork which allows scanning at a tip-sample separation of a few nm. The magnetic flux sensitivity of the SQUID is 1.8 μ_0/Hz^{1/2} and the spatial resolution is about 200 nm, which can be further impr…
▽ More
We describe a new type of scanning probe microscope based on a superconducting quantum interference device (SQUID) that resides on the apex of a sharp tip. The SQUID-on-tip is glued to a quartz tuning fork which allows scanning at a tip-sample separation of a few nm. The magnetic flux sensitivity of the SQUID is 1.8 μ_0/Hz^{1/2} and the spatial resolution is about 200 nm, which can be further improved. This combination of high sensitivity, spatial resolution, bandwidth, and the very close proximity to the sample provides a powerful tool for study of dynamic magnetic phenomena on the nanoscale. The potential of the SQUID-on-tip microscope is demonstrated by imaging of the vortex lattice and of the local AC magnetic response in superconductors.
△ Less
Submitted 13 June, 2012;
originally announced June 2012.
-
Idempotent deformations of finite groups
Authors:
Martin Blomgren,
Wojciech Chachólski,
Emannuel Dror Farjoun,
Yoav Segev
Abstract:
The action of the idempotent deformations on finite groups is discussed. This action is described in terms of the homological properties of groups. The orbits of finite simple groups are determined.
The action of the idempotent deformations on finite groups is discussed. This action is described in terms of the homological properties of groups. The orbits of finite simple groups are determined.
△ Less
Submitted 3 May, 2012; v1 submitted 30 April, 2012;
originally announced April 2012.
-
Lamellar mesophase nucleated by Josephson vortices at the melting of the vortex lattice in $Bi_2Sr_2CaCu_2O_{8+delta}$
Authors:
Yehonathan Segev,
Yuri Myasoedov,
Eli Zeldov,
Tsuyoshi Tamegai,
Grigorii P. Mikitik,
Ernst Helmut Brandt
Abstract:
The local effect of the Josephson vortices on the vortex lattice melting process in \BSCCO crystals in the presence of an in-plane field $H_{ab}$ is studied by differential magneto-optical imaging. The melting process is found to commence along the Josephson vortex stacks, forming a mesomorphic phase of periodic liquid and solid lamellas, the direction and spacing of which are controlled by…
▽ More
The local effect of the Josephson vortices on the vortex lattice melting process in \BSCCO crystals in the presence of an in-plane field $H_{ab}$ is studied by differential magneto-optical imaging. The melting process is found to commence along the Josephson vortex stacks, forming a mesomorphic phase of periodic liquid and solid lamellas, the direction and spacing of which are controlled by $H_{ab}$. The reduction of the local melting field $H_m$ along the Josephson vortex stacks is more than an order of magnitude larger than the reduction of the average bulk $H_m$ by $H_{ab}$.
△ Less
Submitted 28 October, 2011;
originally announced October 2011.
-
Suppression of geometrical barrier in $Bi_2Sr_2CaCu_2O_{8+δ}$ crystals by Josephson vortex stacks
Authors:
Yehonathan Segev,
Ilia Gutman,
Sarah Goldberg,
Yuri Myasoedov,
Eli Zeldov,
Ernst Helmut Brandt,
Grigorii P. Mikitik,
Takao Katagiri,
Takao Sasagawa
Abstract:
Differential magneto-optics are used to study the effect of dc in-plane magnetic field on hysteretic behavior due to geometrical barriers in $Bi_2Sr_2CaCu_2O_{8+δ}$ crystals. In absence of in-plane field a vortex dome is visualized in the sample center surrounded by barrier-dominated flux-free regions. With in-plane field, stacks of Josephson vortices form vortex chains which are surprisingly foun…
▽ More
Differential magneto-optics are used to study the effect of dc in-plane magnetic field on hysteretic behavior due to geometrical barriers in $Bi_2Sr_2CaCu_2O_{8+δ}$ crystals. In absence of in-plane field a vortex dome is visualized in the sample center surrounded by barrier-dominated flux-free regions. With in-plane field, stacks of Josephson vortices form vortex chains which are surprisingly found to protrude out of the dome into the vortex-free regions. The chains are imaged to extend up to the sample edges, thus providing easy channels for vortex entry and for drain of the dome through geometrical barrier, suppressing the magnetic hysteresis. Reduction of the vortex energy due to crossing with Josephson vortices is evaluated to be about two orders of magnitude too small to account for the formation of the protruding chains. We present a model and numerical calculations that qualitatively describe the observed phenomena by taking into account the demagnetization effects in which flux expulsion from the pristine regions results in vortex focusing and in the chain protrusion. Comparative measurements on a sample with narrow etched grooves provide further support to the proposed model.
△ Less
Submitted 3 April, 2011; v1 submitted 5 February, 2011;
originally announced February 2011.
-
The centralizers in the root group of a special Moufang set are abelian
Authors:
Yoav Segev
Abstract:
In this note we prove that if $\mathbb{M}(U,τ)$ is a special Moufang set and $a\in U^*$, then C_U(a) is abelian.
In this note we prove that if $\mathbb{M}(U,τ)$ is a special Moufang set and $a\in U^*$, then C_U(a) is abelian.
△ Less
Submitted 7 November, 2010; v1 submitted 14 September, 2010;
originally announced September 2010.
-
Almost regular involutory automorphisms of uniquely 2-divisible groups
Authors:
Yoav Segev
Abstract:
We prove that a uniquely 2-divisible group that admits an almost regular involutory automorphism is solvable.
We prove that a uniquely 2-divisible group that admits an almost regular involutory automorphism is solvable.
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
Self-aligned nanoscale SQUID on a tip
Authors:
Amit Finkler,
Yehonathan Segev,
Yuri Myasoedov,
Michael L. Rappaport,
Lior Neeman,
Denis Vasyukov,
Eli Zeldov,
Martin E. Huber,
Jens Martin,
Amir Yacoby
Abstract:
A nanometer-sized superconducting quantum interference device (nanoSQUID) is fabricated on the apex of a sharp quartz tip and integrated into a scanning SQUID microscope. A simple self-aligned fabrication method results in nanoSQUIDs with diameters down to 100 nm with no lithographic processing. An aluminum nanoSQUID with an effective area of 0.034 $μ$m$^2$ displays flux sensitivity of 1.8…
▽ More
A nanometer-sized superconducting quantum interference device (nanoSQUID) is fabricated on the apex of a sharp quartz tip and integrated into a scanning SQUID microscope. A simple self-aligned fabrication method results in nanoSQUIDs with diameters down to 100 nm with no lithographic processing. An aluminum nanoSQUID with an effective area of 0.034 $μ$m$^2$ displays flux sensitivity of 1.8$\cdot 10^{-6}$ $Φ_0/\mathrm{Hz}^{1/2} and operates in fields as high as 0.6 T. With projected spin sensitivity of 65 $μ_B/\mathrm{Hz}^{1/2}$ and high bandwidth, the SQUID on a tip is a highly promising probe for nanoscale magnetic imaging and spectroscopy.
△ Less
Submitted 15 February, 2010;
originally announced February 2010.
-
Mott insulator phases and first-order melting in BSCCO crystals with periodic surface holes
Authors:
S. Goldberg,
Y. Segev,
Y. Myasoedov,
I. Gutman,
N. Avraham,
M. Rappaport,
E. Zeldov,
T. Tamegai,
C. W. Hicks,
K. A. Moler
Abstract:
We measured the effects of periodic surface holes, created using a focused ion beam, on the phase diagram of the vortex matter in high-T_c Bi_2Sr_2CaCu_2O_{8+δ} crystals. Differential magneto-optical measurements show that the irreversibility line is shifted to higher fields and temperatures, with respect to the pristine melting line. The irreversibility line displays weak field dependence betwe…
▽ More
We measured the effects of periodic surface holes, created using a focused ion beam, on the phase diagram of the vortex matter in high-T_c Bi_2Sr_2CaCu_2O_{8+δ} crystals. Differential magneto-optical measurements show that the irreversibility line is shifted to higher fields and temperatures, with respect to the pristine melting line. The irreversibility line displays weak field dependence between integer matching fields indicating multiple-flux-quanta pinning at holes. We find reduced equilibrium compressibility of the vortex matter at integer matching fields, which is strong evidence for the existence of thermodynamic Mott insulator phases. Shaking with a transverse ac field surprisingly reveals first-order melting that is not shifted with respect to the pristine melting line and that seems to occur within the Mott insulator regions. This melting is understood to be the first-order transition in the bulk of the crystal beneath the surface holes. The transition is visible at the surface, despite the reduced vortex compressibility in the top layer.
△ Less
Submitted 3 February, 2009;
originally announced February 2009.
-
On kernels of cellular covers
Authors:
Emmanuel D. Farjoun,
Ruediger Goebel,
Yoav Segev,
Saharon Shelah
Abstract:
In the present paper we continue to examine cellular covers of groups, focusing on the cardinality and the structure of the kernel K of the cellular map G-> M . We show that in general a torsion free reduced abelian group M may have a proper class of non-isomorphic cellular covers. In other words, the cardinality of the kernels is unbounded. In the opposite direction we show that if the kernel o…
▽ More
In the present paper we continue to examine cellular covers of groups, focusing on the cardinality and the structure of the kernel K of the cellular map G-> M . We show that in general a torsion free reduced abelian group M may have a proper class of non-isomorphic cellular covers. In other words, the cardinality of the kernels is unbounded. In the opposite direction we show that if the kernel of a cellular cover of any group M has certain ``freeness'' properties, then its cardinality must be bounded.
△ Less
Submitted 10 February, 2007;
originally announced February 2007.
-
The flavor of product-group GUTs
Authors:
Yehonathan Segev,
Yael Shadmi
Abstract:
The doublet-triplet splitting problem can be simply solved in product-group GUT models, using a global symmetry that distinguishes the doublets from the triplets. Apart from giving the required mass hierarchy, this ``triplet symmetry'' can also forbid some of the triplet couplings to matter. We point out that, since this symmetry is typically generation-dependent, it gives rise to non-trivial fl…
▽ More
The doublet-triplet splitting problem can be simply solved in product-group GUT models, using a global symmetry that distinguishes the doublets from the triplets. Apart from giving the required mass hierarchy, this ``triplet symmetry'' can also forbid some of the triplet couplings to matter. We point out that, since this symmetry is typically generation-dependent, it gives rise to non-trivial flavor structure. Furthermore, because flavor symmetries cannot be exact, the triplet-matter couplings are not forbidden then but only suppressed. We construct models in which the triplet symmetry gives acceptable proton decay rate and fermion masses. In some of the models, the prediction m_b ~ m_τis retained, while the similar relation for the first generation is corrected. Finally, all this can be accomplished with triplets somewhat below the GUT scale, supplying the right correction for the standard model gauge couplings to unify precisely.
△ Less
Submitted 6 January, 2006;
originally announced January 2006.
-
On finite homomorphic images of the multiplicative group of a division algebra
Authors:
Yoav Segev
Abstract:
This paper, together with a forthcoming paper by the author and Seitz, proves the Margulis-Platonov conjecture concerning the normal subgroup structure of algebraic groups over number fields, in the case of inner forms of anisotropic groups of type $A_n$.
This paper, together with a forthcoming paper by the author and Seitz, proves the Margulis-Platonov conjecture concerning the normal subgroup structure of algebraic groups over number fields, in the case of inner forms of anisotropic groups of type $A_n$.
△ Less
Submitted 31 December, 1998;
originally announced January 1999.
