Cyclotomic Gaudin Models: Construction and Bethe Ansatz

To any finite-dimensional simple Lie algebra \({\mathfrak{g}}\) and automorphism \({\sigma: \mathfrak{g}\to \mathfrak{g}}\) we associate a cyclotomic Gaudin algebra. This is a large commutative subalgebra of \({U(\mathfrak{g})^{\otimes N}}\) generated by a hierarchy of cyclotomic Gaudin Hamiltonians. It reduces to the Gaudin algebra in the special case \({\sigma ={\rm id}}\).     

Entanglement Rates and the Stability of the Area Law for the Entanglement Entropy

We develop in this paper the principles of an associative algebraic approach to bulk logarithmic conformal field theories (LCFTs). We concentrate on the closed \({\mathfrak{gl}(1|1)}\) spin-chain and its continuum limit—the \({c=-2}\) symplectic fermions theory—and rely on two technical companion papers, Gainutdinov et al. (Nucl Phys B 871:245–288, 2013) and Gainutdinov et al. (Nucl Phys B 871:289–329, 2013). Our main result is that the algebra of local Hamiltonians, the Jones–Temperley–Lieb algebra JTL _N , goes over in the continuum limit to a bigger algebra than \({\boldsymbol{\mathcal{V}}}\), the product of the left and right Virasoro algebras. This algebra, \({\mathcal{S}}\)—which we call interchiral, mixes the left and right moving sectors, and is generated, in the symplectic fermions case, by the additional field \({S(z,\bar{z})\equiv S_{\alpha\beta} \psi^\alpha(z)\bar{\psi}^\beta(\bar{z})}\), with a symmetric form \({S_{\alpha\beta}}\) and conformal weights (1,1). We discuss in detail how the space of states of the LCFT (technically, a Krein space) decomposes onto representations of this algebra, and how this decomposition is related with properties of the finite spin-chain. We show that there is a complete correspondence between algebraic properties of finite periodic spin chains and the continuum limit. An important technical aspect of our analysis involves the fundamental new observation that the action of JTL _N in the \({\mathfrak{gl}(1|1)}\) spin chain is in fact isomorphic to an enveloping algebra of a certain Lie algebra, itself a non semi-simple version of \({\mathfrak{sp}_{N-2}}\). The semi-simple part of JTL _N is represented by \({U \mathfrak{sp}_{N-2}}\), providing a beautiful example of a classical Howe duality, for which we have a non semi-simple version in the full JTL _N image represented in the spin-chain. On the continuum side, simple modules over \({\mathcal{S}}\) are identified with “fundamental” representations of \({\mathfrak{sp}_\infty}\).     

A Heisenberg Double Addition to the Logarithmic Kazhdan–Lusztig Duality

For a Hopf algebra B, we endow the Heisenberg double \({\mathcal{H}(B^*)}\) with the structure of a module algebra over the Drinfeld double \({\mathcal{D}(B)}\). Based on this property, we propose that \({\mathcal{H}(B^*)}\) is to be the counterpart of the algebra of fields on the quantum-group side of the Kazhdan–Lusztig duality between logarithmic conformal field theories and quantum groups. As an example, we work out the case where B is the Taft Hopf algebra related to the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) quantum group that is Kazhdan–Lusztig-dual to (p,1) logarithmic conformal models. The corresponding pair \({(\mathcal{D}(B),\mathcal{H}(B^*))}\) is “truncated” to \({(\overline{\mathcal{U}}_{\mathfrak{q}} s\ell2,\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2))}\), where \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)}\) is a \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) module algebra that turns out to have the form \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)=\mathbb{C}_{\mathfrak{q}}[z,\partial]\otimes\mathbb{C}[\lambda]/(\lambda^{2p}-1)}\), where \({\mathbb{C}_{\mathfrak{q}}[z,\partial]}\) is the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\)-module algebra with the relations z ^p  = 0, ? ^p  = 0, and \({\partial z = \mathfrak{q}-\mathfrak{q}^{-1} + \mathfrak{q}^{-2} z\partial}\).     

On a Classical Limit of <Emphasis Type="Italic">q</Emphasis>-Deformed Whittaker Functions

Previously, we derive a representation of q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function as a sum over Gelfand–Zetlin patterns. This representation provides an analog of the Shintani–Casselman–Shalika formula for q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker functions. In this note, we provide a derivation of the Givental integral representation of the classical \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function as a limit q → 1 of the sum over the Gelfand–Zetlin patterns representation of the q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function. Thus, Givental representation provides an analog the Shintani–Casselman–Shalika formula for classical Whittaker functions.     

The Exoticness and Realisability of Twisted Haagerup–Izumi Modular Data

The quantum double of the Haagerup subfactor, the first irreducible finite depth subfactor with index above 4, is the most obvious candidate for exotic modular data. We show that its modular data \({\mathcal{D}{\rm Hg}}\) fits into a family \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) , where n ≥  0 and \({\omega\in \mathbb{Z}_{2n+1}}\) . We show \({\mathcal{D}^0 {\rm Hg}_{2n+1}}\) is related to the subfactors Izumi hypothetically associates to the cyclic groups \({\mathbb{Z}_{2n+1}}\) . Their modular data comes equipped with canonical and dual canonical modular invariants; we compute the corresponding alpha-inductions, etc. In addition, we show there are (respectively) 1, 2, 0 subfactors of Izumi type \({\mathbb{Z}_7, \mathbb{Z}_9}\) and \({\mathbb{Z}_3^2}\) , and find numerical evidence for 2, 1, 1, 1, 2 subfactors of Izumi type \({\mathbb{Z}_{11},\mathbb{Z}_{13},\mathbb{Z}_{15},\mathbb{Z}_{17},\mathbb{Z}_{19}}\) (previously, Izumi had shown uniqueness for \({\mathbb{Z}_3}\) and \({\mathbb{Z}_5}\)), and we identify their modular data. We explain how \({\mathcal{D}{\rm Hg}}\) (more generally \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\)) is a graft of the quantum double \({\mathcal{D} Sym(3)}\) (resp. the twisted double \({\mathcal{D}^\omega D_{2n+1}}\)) by affine so(13) (resp. so\({(4n^2+4n+5)}\)) at level 2. We discuss the vertex operator algebra (or conformal field theory) realisation of the modular data \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) . For example we show there are exactly 2 possible character vectors (giving graded dimensions of all modules) for the Haagerup VOA at central charge c = 8. It seems unlikely that any of this twisted Haagerup-Izumi modular data can be regarded as exotic, in any reasonable sense.     

A Note on Expansiveness and Hyperbolicity for Generic Geodesic Flows

In this short note we contribute to the generic dynamics of geodesic flows associated to metrics on compact Riemannian manifolds of dimension ≥?2. We prove that there exists a C²-residual subset \(\mathscr{R}\) of metrics on a given compact Riemannian manifold such that if \(g\in \mathscr{R}\), then its associated geodesic flow \({\varphi ^{t}_{g}}\) is expansive if and only if the closure of the set of periodic orbits of \({\varphi ^{t}_{g}}\) is a uniformly hyperbolic set. For surfaces, we obtain a stronger statement: there exists a C²-residual \(\mathscr{R}\) such that if \(g\in \mathscr{R}\), then its associated geodesic flow \({\varphi ^{t}_{g}}\) is expansive if and only if \({\varphi ^{t}_{g}}\) is an Anosov flow.     

Harmonic Pinnacles in the Discrete Gaussian Model

The 2D Discrete Gaussian model gives each height function \({\eta : {\mathbb{Z}^2\to\mathbb{Z}}}\) a probability proportional to \({\exp(-\beta \mathcal{H}(\eta))}\), where \({\beta}\) is the inverse-temperature and \({\mathcal{H}(\eta) = \sum_{x\sim y}(\eta_x-\eta_y)^2}\) sums over nearest-neighbor bonds. We consider the model at large fixed \({\beta}\), where it is flat unlike its continuous analog (the Discrete Gaussian Free Field). We first establish that the maximum height in an \({L\times L}\) box with 0 boundary conditions concentrates on two integers M, M + 1 with \({M\sim \sqrt{(1/2\pi\beta)\log L\log\log L}}\). The key is a large deviation estimate for the height at the origin in \({\mathbb{Z}^{2}}\), dominated by “harmonic pinnacles”, integer approximations of a harmonic variational problem. Second, in this model conditioned on \({\eta\geq 0}\) (a floor), the average height rises, and in fact the height of almost all sites concentrates on levels H, H + 1 where \({H\sim M/\sqrt{2}}\). This in particular pins down the asymptotics, and corrects the order, in results of Bricmont et al. (J. Stat. Phys. 42(5–6):743–798, 1986), where it was argued that the maximum and the height of the surface above a floor are both of order \({\sqrt{\log L}}\). Finally, our methods extend to other classical surface models (e.g., restricted SOS), featuring connections to p-harmonic analysis and alternating sign matrices.     

Constraining the electric charges of some astronomical bodies in Reissner–Nordström spacetimes and generic <Emphasis Type="Italic">r</Emphasis><Superscript>−2</Superscript>-type power-law potentials from orbital motions

We put independent model dynamical constraints on the net electric charge Q of some astronomical and astrophysical objects by assuming that their exterior spacetimes are described by the Reissner-Nordström, metric, which induces an additional potential \({U_{\rm RN} \propto Q^2 r^{-2}}\). From the current bounds \({\Delta \dot \varpi}\) on any anomalies in the secular perihelion rate \({\dot \varpi}\) of Mercury and the Earth–mercury ranging Δρ, we have \({\left|Q_{\odot}\right| \lesssim 1-0.4 \times 10^{18}\ {\rm C}}\). Such constraints are ~60–200 times tighter than those recently inferred in literature. For the Earth, the perigee precession of the Moon, determined with the Lunar Laser Ranging technique, and the intersatellite ranging Δρ for the GRACE mission yield \({\left|Q_{\oplus} \right| \lesssim 5-0.4 \times 10^{14}\ {\rm C}}\). The periastron rate of the double pulsar PSR J0737-3039A/B system allows to infer \({\left|Q_{\rm NS} \right| \lesssim 5\times 10^{19}\ {\rm C}}\). According to the perinigricon precession of the main sequence S2 star in Sgr A^*, the electric charge carried by the compact object hosted in the Galactic Center may be as large as \({\left|Q_{\bullet} \right| \lesssim 4\times 10^{27} \ {\rm C}}\). Our results extend to other hypothetical power-law interactions inducing extra-potentials \({U_{\rm pert} = \Psi r^{-2}}\) as well. It turns out that the terrestrial GRACE mission yields the tightest constraint on the parameter \({\Psi}\), assumed as a universal constant, amounting to \({|\Psi| \lesssim 5\times 10^{9}\ {\rm m^4\ s^{-2}}}\).     

On a Pre-Lie Algebra Defined by Insertion of Rooted Trees

Let K be a field of characteristic zero. For \({n \in \mathbb{N}^{*}}\) , let \({\mathcal{T}^{\,\prime}_{n}}\) be the vector space of non-planar rooted trees with n vertices (Foissy in Bull Sci Math 126, no. 3, 193–239; no. 4, 249–288, 2002). Let \({\vartriangleright}\) be the left pre-Lie product of insertion of a tree inside another defined on infinitesimal characters of the graded Hopf algebra \({\mathcal{H}}\) introduced by Calaque, Ebrahimi-Fard and Manchon. Let \({\mathcal{T}^{\,\prime}=\oplus_{n\geq 2}\mathcal{T}^{\,\prime}_{n}}\) . In this work, we first prove that \({(\mathcal{T}^{\,\prime}, \vartriangleright)}\) a pre-Lie algebra generated by the two ladders E ₁ and E ₂ where E ₁ is the ladder with one edge and E ₂ is the ladder with two edges. Second, we prove that \({(\mathcal{T}^{\,\prime}, \vartriangleright)}\) is not a free pre-Lie algebra, and we exhibit a family of relations.     

On the Extension of Stringlike Localised Sectors in 2+1 Dimensions

In the framework of algebraic quantum field theory, we study the category \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) of stringlike localised representations of a net of observables \({\mathcal{O} \mapsto \mathfrak{A}(\mathcal{O})}\) in three dimensions. It is shown that compactly localised (DHR) representations give rise to a non-trivial centre of \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) with respect to the braiding. This implies that \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) cannot be modular when non-trivial DHR sectors exist. Modular tensor categories, however, are important for topological quantum computing. For this reason, we discuss a method to remove this obstruction to modularity.Indeed, the obstruction can be removed by passing from the observable net \({\mathfrak{A}(\mathcal{O})}\) to the Doplicher-Roberts field net \({\mathfrak{F}(\mathcal{O})}\). It is then shown that sectors of \({\mathfrak{A}}\) can be extended to sectors of the field net that commute with the action of the corresponding symmetry group. Moreover, all such sectors are extensions of sectors of \({\mathfrak{A}}\). Finally, the category \({\Delta_{{\rm BF}}^{\mathfrak{F}}}\) of sectors of \({\mathfrak{F}}\) is studied by investigating the relation with the categorical crossed product of \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) by the subcategory of DHR representations. Under appropriate conditions, this completely determines the category \({\Delta_{{\rm BF}}^{\mathfrak{F}}}\).     

Conformal Mappings and Dispersionless Toda Hierarchy

Let \({\mathfrak{D}}\) be the space consists of pairs (f, g), where f is a univalent function on the unit disc with f(0) = 0, g is a univalent function on the exterior of the unit disc with g(∞) = ∞ and f′(0)g′(∞) = 1. In this article, we define the time variables \({t_n, n\in \mathbb{Z}}\), on \({\mathfrak{D}}\) which are holomorphic with respect to the natural complex structure on \({\mathfrak{D}}\) and can serve as local complex coordinates for \({\mathfrak{D}}\) . We show that the evolutions of the pair (f, g) with respect to these time coordinates are governed by the dispersionless Toda hierarchy flows. An explicit tau function is constructed for the dispersionless Toda hierarchy. By restricting \({\mathfrak{D}}\) to the subspace Σ consists of pairs where \({f(w)=1/\overline{g(1/\bar{w})}}\), we obtain the integrable hierarchy of conformal mappings considered by Wiegmann and Zabrodin [31]. Since every C ¹ homeomorphism γ of the unit circle corresponds uniquely to an element (f, g) of \({\mathfrak{D}}\) under the conformal welding \({\gamma=g^{-1}\circ f}\), the space Homeo _C (S ¹) can be naturally identified as a subspace of \({\mathfrak{D}}\) characterized by f(S ¹) = g(S ¹). We show that we can naturally define complexified vector fields \({\partial_n, n\in \mathbb{Z}}\) on Homeo _C (S ¹) so that the evolutions of (f, g) on Homeo _C (S ¹) with respect to ? _n satisfy the dispersionless Toda hierarchy. Finally, we show that there is a similar integrable structure for the Riemann mappings (f ^?1, g ^?1). Moreover, in the latter case, the time variables are Fourier coefficients of γ and 1/γ ^?1.     

A Categorification of the Boson–Fermion Correspondence via Representation Theory of sl(∞)

In recent years different aspects of categorification of the boson–fermion correspondence have been studied. In this paper we propose a categorification of the boson–fermion correspondence based on the category of tensor modules of the Lie algebra sl(∞) of finitary infinite matrices. By \({\mathbb{T}^{+}}\) we denote the category of “polynomial” tensor sl(∞)-modules. There is a natural “creation” functor \({{\mathcal{T}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\), \({M \mapsto N \otimes M, \quad M,N \in \mathbb{T}^{+}}\). The key idea of the paper is to employ the entire category \({\mathbb{T}}\) of tensor sl(∞)-modules in order to define the “annihilation” functor \({{\mathcal{D}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\) corresponding to \({{\mathcal{T}_{N}}}\). We show that the relations allowing one to express fermions via bosons arise from relations in the cohomology of complexes of linear endofunctors on \({{\mathbb{T}^{+}}}\).     

On the Convexity of the KdV Hamiltonian

Motivated by perturbation theory, we prove that the nonlinear part \({H^{*}}\) of the KdV Hamiltonian \({H^{kdv}}\), when expressed in action variables \({I = (I_{n})_{n \geqslant 1}}\), extends to a real analytic function on the positive quadrant \({\ell^{2}_{+}(\mathbb{N})}\) of \({\ell^{2}(\mathbb{N})}\) and is strictly concave near \({0}\). As a consequence, the differential of \({H^{*}}\) defines a local diffeomorphism near 0 of \({\ell_{\mathbb{C}}^{2}(\mathbb{N})}\). Furthermore, we prove that the Fourier-Lebesgue spaces \({\mathcal{F}\mathcal{L}^{s,p}}\) with \({-1/2 \leqslant s \leqslant 0}\) and \({2 \leqslant p < \infty}\), admit global KdV-Birkhoff coordinates. In particular, it means that \({\ell^{2}_+(\mathbb{N})}\) is the space of action variables of the underlying phase space \({\mathcal{F}\mathcal{L}^{-1/2,4}}\) and that the KdV equation is globally in time \({C^{0}}\)-well-posed on \({\mathcal{F}\mathcal{L}^{-1/2,4}}\).     

Universal Probability Distribution for the Wave Function of a Quantum System Entangled with its Environment

A quantum system (with Hilbert space \({\mathcal {H}_{1}}\)) entangled with its environment (with Hilbert space \({\mathcal {H}_{2}}\)) is usually not attributed to a wave function but only to a reduced density matrix \({\rho_{1}}\). Nevertheless, there is a precise way of attributing to it a random wave function \({\psi_{1}}\), called its conditional wave function, whose probability distribution \({\mu_{1}}\) depends on the entangled wave function \({\psi \in \mathcal {H}_{1} \otimes \mathcal {H}_{2}}\) in the Hilbert space of system and environment together. It also depends on a choice of orthonormal basis of \({\mathcal {H}_{2}}\) but in relevant cases, as we show, not very much. We prove several universality (or typicality) results about \({\mu_{1}}\), e.g., that if the environment is sufficiently large then for every orthonormal basis of \({\mathcal {H}_{2}}\), most entangled states \({\psi}\) with given reduced density matrix \({\rho_{1}}\) are such that \({\mu_{1}}\) is close to one of the so-called GAP (Gaussian adjusted projected) measures, \({GAP(\rho_{1})}\). We also show that, for most entangled states \({\psi}\) from a microcanonical subspace (spanned by the eigenvectors of the Hamiltonian with energies in a narrow interval \({[E, E+ \delta E]}\)) and most orthonormal bases of \({\mathcal {H}_{2}}\), \({\mu_{1}}\) is close to \({GAP(\rm {tr}_{2} \rho_{mc})}\) with \({\rho_{mc}}\) the normalized projection to the microcanonical subspace. In particular, if the coupling between the system and the environment is weak, then \({\mu_{1}}\) is close to \({GAP(\rho_\beta)}\) with \({\rho_\beta}\) the canonical density matrix on \({\mathcal {H}_{1}}\) at inverse temperature \({\beta=\beta(E)}\). This provides the mathematical justification of our claim in Goldstein et al. (J Stat Phys 125: 1193–1221, 2006) that GAP measures describe the thermal equilibrium distribution of the wave function.     

Time Delay for the Dirac Equation

We consider time delay for the Dirac equation. A new method to calculate the asymptotics of the expectation values of the operator \({\int\limits_{0} ^{\infty}{\rm e}^{iH_{0}t}\zeta(\frac{\vert x\vert }{R}) {\rm e}^{-iH_{0}t}{\rm d}t}\), as \({R \rightarrow \infty}\), is presented. Here, H₀ is the free Dirac operator and \({\zeta\left(t\right)}\) is such that \({\zeta\left(t\right) = 1}\) for \({0 \leq t \leq 1}\) and \({\zeta\left(t\right) = 0}\) for \({t > 1}\). This approach allows us to obtain the time delay operator \({\delta \mathcal{T}\left(f\right)}\) for initial states f in \({\mathcal{H} _{2}^{3/2+\varepsilon}(\mathbb{R}^{3};\mathbb{C}^{4})}\), \({\varepsilon > 0}\), the Sobolev space of order \({3/2+\varepsilon}\) and weight 2. The relation between the time delay operator \({\delta\mathcal{T}\left(f\right)}\) and the Eisenbud–Wigner time delay operator is given. In addition, the relation between the averaged time delay and the spectral shift function is presented.     

$${\mathbb{Z}_N}$$ -Curves Possessing No Thomae Formulae of Bershadsky–Radul Type

A \({\mathbb{Z}_N}\) -curve is one of the form \({y^{N}=(x-\lambda_{1})^{m_{1}}\cdots(x-\lambda_{s})^{m_{s}}}\) . When N = 2 these curves are called hyperelliptic and for them Thomae proved his classical formulae linking the theta functions corresponding to their period matrices to the branching values λ₁, . . . , λ _s . In his work on Fermionic fields on \({\mathbb{Z}_N}\) -curves with arbitrary N, Bershadsky and Radul discovered the existence of generalized Thomae’s formulae for these curves which they wrote down explicitly in the case in which all rotation numbers m _i equal 1. This work was continued by several authors and new Thomae’s type formulae for \({\mathbb{Z}_N}\) -curves with other rotation numbers m _i were found. In this article we prove that for some choices of the rotation numbers the corresponding \({\mathbb{Z}_N}\) -curves do not admit such generalized Thomae’s formulae.     

Spectral Deformation for Two-Body Dispersive Systems with e.g. the Yukawa Potential

We find an explicit closed formula for the k’th iterated commutator \({\text{ad}_{A}^{k}}(H_{V}(\xi ))\) of arbitrary order k ? 1 between a Hamiltonian \(H_{V}(\xi )=M_{\omega _{\xi }}+S_{\check V}\) and a conjugate operator \(A=\frac{\mathfrak{i}}{2}(v_{\xi}\cdot\nabla+\nabla\cdot v_{\xi})\), where \(M_{\omega _{\xi }}\) is the operator of multiplication with the real analytic function ω _ξ which depends real analytically on the parameter ξ, and the operator \(S_{\check V}\) is the operator of convolution with the (sufficiently nice) function \(\check V\), and v _ξ is some vector field determined by ω _ξ . Under certain assumptions, which are satisfied for the Yukawa potential, we then prove estimates of the form \(\| {{\text{ad}_{A}^{k}}(H_{V}(\xi ))(H_{0}(\xi )+\mathfrak{i} )}\|\leqslant C_{\xi }^{k}k!\) where C _ξ is some constant which depends continuously on ξ. The Hamiltonian is the fixed total momentum fiber Hamiltonian of an abstract two-body dispersive system and the work is inspired by a recent result [3] which, under conditions including estimates of the mentioned type, opens up for spectral deformation and analytic perturbation theory of embedded eigenvalues of finite multiplicity.     

Noncommutative Independence from the Braid Group $${\mathbb{B}_{\infty}}$$

We introduce ‘braidability’ as a new symmetry for infinite sequences of noncommutative random variables related to representations of the braid group \({\mathbb{B}_{\infty}}\) . It provides an extension of exchangeability which is tied to the symmetric group \({\mathbb{S}_{\infty}}\) . Our key result is that braidability implies spreadability and thus conditional independence, according to the noncommutative extended de Finetti theorem [Kös08]. This endows the braid groups \({\mathbb{B}_{n}}\) with a new intrinsic (quantum) probabilistic interpretation. We underline this interpretation by a braided extension of the Hewitt-Savage Zero-One Law. Furthermore we use the concept of product representations of endomorphisms [Goh04] with respect to certain Galois type towers of fixed point algebras to show that braidability produces triangular towers of commuting squares and noncommutative Bernoulli shifts. As a specific case we study the left regular representation of \({\mathbb{B}_{\infty}}\) and the irreducible subfactor with infinite Jones index in the non-hyperfinite I I ₁-factor L \({(\mathbb{B}_{\infty})}\) related to it. Our investigations reveal a new presentation of the braid group \({\mathbb{B}_{\infty}}\) , the ‘square root of free generator presentation’ \({\mathbb{F}^{1/2}_{\infty}}\) . These new generators give rise to braidability while the squares of them yield a free family. Hence our results provide another facet of the strong connection between subfactors and free probability theory [GJS07]; and we speculate about braidability as an extension of (amalgamated) freeness on the combinatorial level.