• 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.
• ### Length-based conjugacy search in the Braid group(math/0209267)

Oct. 31, 2010 cs.CR, math.AG, math.GR
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.
• ### Probabilistic Solutions of Equations in the Braid Group(math/0404076)

May 17, 2007 cs.CR, math.GT, math.GR
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.
• ### Several Applications of Bezout Matrices(math/0601047)

Jan. 3, 2006 math.AG, math.GM
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.
• ### Palindromic Braids(math/0410288)

March 15, 2005 math.GT, math.GR
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.
• ### Braid Monodromy Computation of Real Singular Curves(math/0410444)

Oct. 20, 2004 math.AG, math.GT
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.
• ### Braid Monodromy Type and Rational Transformations of Plane Algebraic Curves(math/0408335)

Aug. 24, 2004 math.AT, math.AG
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.
• ### Identifying Powers of Half-Twists and Computing its Root(math/0211197)

Nov. 19, 2002 math.AG, math.GT, math.GR
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.
• ### Identifying Half-Twists Using Randomized Algorithm Methods(math/0106007)

Oct. 8, 2002 math.AT, math.AG
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.
• ### Solving the Braid Word Problem Via the Fundamental Group(math/0101232)

Jan. 29, 2001 math.AT, math.AG, math.GR
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.
• ### Measurement of the Far Infrared Magneto-Conductivity Tensor of Superconducting YBa$_2$Cu$_3$O$_{7-\delta }$ Thin Films(cond-mat/9510045)

Jan. 26, 1996 cond-mat
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.\\
• ### Grain Boundary Induced Magneto-Far Infrared Resonances in Superconducting YBa$_2$Cu$_3$O$_{7-\delta }$ Thin Films(cond-mat/9508108)

Aug. 24, 1995 cond-mat
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.