-
A joint measurement is presented of the branching fractions
$B^0_s\to\mu^+\mu^-$ and $B^0\to\mu^+\mu^-$ in proton-proton collisions at the
LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at
a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis
produces the first observation of the $B^0_s\to\mu^+\mu^-$ decay, with a
statistical significance exceeding six standard deviations, and the best
measurement of its branching fraction so far. Furthermore, evidence for the
$B^0\to\mu^+\mu^-$ decay is obtained with a statistical significance of three
standard deviations. The branching fraction measurements are statistically
compatible with SM predictions and impose stringent constraints on several
theories beyond the SM.
-
Several key agreement protocols are based on the following "Generalized
Conjugacy Search Problem": Find, given elements b_1,...,b_n and
xb_1x^{-1},...,xb_nx^{-1} in a nonabelian group G, the conjugator x. In the
case of subgroups of the braid group B_N, Hughes and Tannenbaum suggested a
length-based approach to finding x. Since the introduction of this approach,
its effectiveness and successfulness were debated.
We introduce several effective realizations of this approach. In particular,
a new length function is defined on B_N which possesses significantly better
properties than the natural length associated to the Garside normal form. We
give experimental results concerning the success probability of this approach,
which suggest that very large computational power is required for this method
to successfully solve the Generalized Conjugacy Search Problem when its
parameters are as in existing protocols.
-
Given a system of equations in a "random" finitely generated subgroup of the
braid group, we show how to find a small ordered list of elements in the
subgroup, which contains a solution to the equations with a significant
probability. Moreover, with a significant probability, the solution will be the
first in the list. This gives a probabilistic solution to: The conjugacy
problem, the group membership problem, the shortest representation of an
element, and other combinatorial group-theoretic problems in random subgroups
of the braid group.
We use a memory-based extension of the standard length-based approach, which
in principle can be applied to any group admitting an efficient, reasonably
behaving length function.
-
The notion of Bezout matrix is an essential tool in studying broad variety of
subjects: zeroes of polynomials, stability of differential equations, rational
transformations of algebraic curves, systems of commuting nonselfadjoint
operators, boundaries of quadrature domains etc. We present a survey of several
properties of Bezout matrices and their applications in all mentioned topics.
We use the framework of Vandermonde vectors because such approach allows us to
give new proofs of both classical and modern results and in many cases to
obtain new explicit formulas. These explicit formulas can significantly
simplify various computational problems and, in particular, make the research
of algebraic curves and their applications easier. In addition we wrote a Maple
software package, which computes all the formulas. For instance, as Bezout
matrices are used in order to compute the image of a rational transformation of
an algebraic curve, we used these results to study some connections between
small degree rational transformation of an algebraic curve and the braid
monodromy of its image.
-
The braid group $B_{n}$, endowed with Artin's presentation, admits an
antiautomorphism $B_{n} \to B_{n}$, such that $v \mapsto \bar{v}$ is defined by
reading braids in reverse order (from right to left instead of left to right).
We prove that the map $B_{n} \to B_{n}$, $v \mapsto v \bar{v}$ is injective. We
also give some consequences arising due to this injectivity.
-
We generalize the Moishezon Teicher algorithm that was suggested for the
computation of the braid monodromy of an almost real curve. The new algorithm
suits a larger family of curves, and enables the computation of braid monodromy
not only of caspidal curves, but of general algebraic curves, with some non
simple singularities. Moreover, it works also when in the fiber the curve
admits any number of imaginary points. We also provide two examples of how to
use the generalized algorithm.
-
We combine the newly discovered technique, which computes explicit formulas
for the image of an algebraic curve under rational transformation, with
techniques that enable to compute braid monodromies of such curves. We use this
combination in order to study properties of the braid monodromy of the image of
curves under a given rational transformation. A description of the general
method is given along with full classification of the images of two
intersecting lines under degree 2 rational transformation. We also establish a
connection between degree 2 rational transformations and the local braid
monodromy of the image at the intersecting point of two lines. Moreover, we
present an example of two birationally isomorphic curves with the same braid
monodromy type and non diffeomorphic real parts.
-
In this paper we give an algorithm for solving a main case of the conjugacy
problem in the braid groups. We also prove that half-twists satisfy a special
root property which allows us to reduce the solution for the conjugacy problem
in half-twists into the free group. Using this algorithm one is able to check
conjugacy of a given braid to one of E. Artin's generators in any power, and
compute its root. Moreover, the braid element which conjugates a given
half-twist to one of E. Artin's generators in any power can be restored. The
result is applicable to calculations of braid monodromy of branch curves and
verification of Hurwitz equivalence of braid monodromy factorizations, which
are essential in order to determine braid monodromy type of algebraic surfaces
and symplectic 4-manifolds.
-
Since the braid group was discovered by E. Artin, the question of its
conjugacy problem has been solved by Garside and Birman, Ko and Lee. However,
the solutions given thus far are difficult to compute with a computer, since
the number of operations needed is extremely large. Meanwhile, random
algorithms used to solve difficult problems such as primality of a number were
developed, and the random practical methods have become an important tool. We
give a random algorithm, along with a conjecture of how to improve its
convergence speed, in order to identify elements in the braid group, which are
conjugated to its generators for a given power. These elements of the braid
group, the half-twists, are important in themselves, as they are the key
players in some geometrical and algebraical methods, the building blocks of
quasipositive braids and they construct endless sets of generators for the
group.
-
The word problem of a group is a very important question. The word problem in
the braid group is of particular interest for topologists, algebraists and
geometers. In previouse article we have looked at the braid group from a
topological point of view, and thus using a new computerized representation of
some elements of the fundamental group we gave a solution for its word problem.
In this paper we will give an algorithm that will make it possible to transform
the new presentation into a syntactic presentation. This will make it possible
to computerize the group operation to sets of elements of the fundamental
group, which are isomorphic to the braid group. More over we will show that it
is sufficient enough to look at the syntactic presentation in order to solve
the braid word problem, resulting with a better and faster braid word solution.
-
We report measurements of the far infrared transmission of superconducting
YBa$_2$Cu$_3$O$_{7-\delta }$ thin films from 5 cm$^{-1}$ to 200 cm$^{-1}$ in
fields up to 14$T$. A Kramers-Kronig analysis of the magneto-transmission
spectrum yields the magneto-conductivity tensor. The result shows that the
magneto-conductivity of YBa$_2$Cu$_3$O$_{7-\delta }$ is dominated by three
terms: a London term, a low frequency Lorentzian ($\omega _1\approx $ 3 cm$%
^{-1}$) of width $\Gamma _1=$ 10 cm$^{-1}$ and a finite frequency Lorentzian of
width $\Gamma _2=$ 17 cm$^{-1}$ at $\omega _2=$ 24 cm$^{-1}$ in the hole
cyclotron resonance active mode of circular polarization.\\
-
Spectral features induced by 45$^{\circ }$ in-plane misoriented grains have
been observed in the far infrared magneto-transmission of YBa$_2$Cu$_3$O$%
_{7-\delta }$ thin films. Two strong dispersive features are found at 80 and
160 $cm^{-1}$ and a weaker one at 116 $cm^{-1}$. The data can be well
represented by Lorentzian oscillator contributions to the conductivity. Several
possible interpretations are discussed. We conclude that the resonances are due
to vortex core excitations.
A joint measurement is presented of the branching fractions $B^0_s\to\mu^+\mu^-$ and $B^0\to\mu^+\mu^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\to\mu^+\mu^-$ decay, with a statistical significance exceeding six standard deviations, and the best measurement of its branching fraction so far. Furthermore, evidence for the $B^0\to\mu^+\mu^-$ decay is obtained with a statistical significance of three standard deviations. The branching fraction measurements are statistically compatible with SM predictions and impose stringent constraints on several theories beyond the SM.