Gauge-theoretic invariants for topological insulators: a bridge between Berry,Wess–Zumino,and Fu–Kane–Mele

We establish a connection between two recently proposed approaches to the understanding of the geometric origin of the Fu–Kane–Mele invariant \(\mathrm {FKM}\in \mathbb {Z}_2\), arising in the context of two-dimensional time-reversal symmetric topological insulators. On the one hand, the \(\mathbb {Z}_2\) invariant can be formulated in terms of the Berry connection and the Berry curvature of the Bloch bundle of occupied states over the Brillouin torus. On the other, using techniques from the theory of bundle gerbes, it is possible to provide an expression for \(\mathrm {FKM}\) containing the square root of the Wess–Zumino amplitude for a certain U(N)-valued field over the Brillouin torus. We link the two formulas by showing directly the equality between the above-mentioned Wess–Zumino amplitude and the Berry phase, as well as between their square roots. An essential tool of independent interest is an equivariant version of the adjoint Polyakov–Wiegmann formula for fields \(\mathbb {T}^2 \rightarrow U(N)\), of which we provide a proof employing only basic homotopy theory and circumventing the language of bundle gerbes.     

Translation Invariant Extensions of Finite Volume Measures

We investigate the following questions: Given a measure \(\mu _\Lambda \) on configurations on a subset \(\Lambda \) of a lattice \(\mathbb {L}\), where a configuration is an element of \(\Omega ^\Lambda \) for some fixed set \(\Omega \), does there exist a measure \(\mu \) on configurations on all of \(\mathbb {L}\), invariant under some specified symmetry group of \(\mathbb {L}\), such that \(\mu _\Lambda \) is its marginal on configurations on \(\Lambda \)? When the answer is yes, what are the properties, e.g., the entropies, of such measures? Our primary focus is the case in which \(\mathbb {L}=\mathbb {Z}^d\) and the symmetries are the translations. For the case in which \(\Lambda \) is an interval in \(\mathbb {Z}\) we give a simple necessary and sufficient condition, local translation invariance (LTI), for extendibility. For LTI measures we construct extensions having maximal entropy, which we show are Gibbs measures; this construction extends to the case in which \(\mathbb {L}\) is the Bethe lattice. On \(\mathbb {Z}\) we also consider extensions supported on periodic configurations, which are analyzed using de Bruijn graphs and which include the extensions with minimal entropy. When \(\Lambda \subset \mathbb {Z}\) is not an interval, or when \(\Lambda \subset \mathbb {Z}^d\) with \(d>1\), the LTI condition is necessary but not sufficient for extendibility. For \(\mathbb {Z}^d\) with \(d>1\), extendibility is in some sense undecidable.     

Spectral Measures Associated to Rank two Lie Groups and Finite Subgroups of {GL(2,\mathbb{Z})}

Spectral measures for fundamental representations of the rank two Lie groups SU(3), Sp(2) and G₂ have been studied. Since these groups have rank two, these spectral measures can be defined as measures over their maximal torus \({\mathbb{T}^2}\) and are invariant under an action of the corresponding Weyl group, which is a subgroup of \({GL(2,\mathbb{Z})}\). Here we consider spectral measures invariant under an action of the other finite subgroups of \({GL(2,\mathbb{Z})}\). These spectral measures are all associated with fundamental representations of other rank two Lie groups, namely \({\mathbb{T}^2=U(1) \times U(1)}\), \({U(1) \times SU(2)}\), U(2), \({SU(2) \times SU(2)}\), SO(4) and PSU(3).     

Noncommutative products of Euclidean spaces

We present natural families of coordinate algebras on noncommutative products of Euclidean spaces \({\mathbb {R}}^{N_1} \times _{\mathcal {R}} {\mathbb {R}}^{N_2}\). These coordinate algebras are quadratic ones associated with an \(\mathcal {R}\)-matrix which is involutive and satisfies the Yang–Baxter equations. As a consequence, they enjoy a list of nice properties, being regular of finite global dimension. Notably, we have eight-dimensional noncommutative euclidean spaces \({\mathbb {R}}^{4} \times _{\mathcal {R}} {\mathbb {R}}^{4}\). Among these, particularly well behaved ones have deformation parameter \(\mathbf{u} \in {\mathbb {S}}^2\). Quotients include seven spheres \({\mathbb {S}}^{7}_\mathbf{u}\) as well as noncommutative quaternionic tori \({\mathbb {T}}^{{\mathbb {H}}}_\mathbf{u} = {\mathbb {S}}^3 \times _\mathbf{u} {\mathbb {S}}^3\). There is invariance for an action of \({{\mathrm{SU}}}(2) \times {{\mathrm{SU}}}(2)\) on the torus \({\mathbb {T}}^{{\mathbb {H}}}_\mathbf{u}\) in parallel with the action of \(\mathrm{U}(1) \times \mathrm{U}(1)\) on a ‘complex’ noncommutative torus \({\mathbb {T}}^2_\theta \) which allows one to construct quaternionic toric noncommutative manifolds. Additional classes of solutions are disjoint from the classical case.     

Sextonions,Zorn matrices,and $$\mathbf {e}_{\mathbf{7} \frac{\mathbf{1}}{\mathbf{2}}}$$

By exploiting suitably constrained Zorn matrices, we present a new construction of the algebra of sextonions (over the algebraically closed field \(\mathbb {C}\)). This allows for an explicit construction, in terms of Jordan pairs, of the non-semisimple Lie algebra \(\mathbf {e}_{\mathbf{7} \frac{\mathbf{1}}{\mathbf{2}}}\), intermediate between \(\mathbf {e_7}\) and \(\mathbf {e_8}\), as well as of all Lie algebras occurring in the sextonionic row and column of the extended Freudenthal Magic Square.     

The Structure of the Kac–Wang–Yan Algebra

The Lie algebra \({\mathcal{D}}\) of regular differential operators on the circle has a universal central extension \({\hat{\mathcal{D}}}\). The invariant subalgebra \({\hat{\mathcal{D}}^+}\) under an involution preserving the principal gradation was introduced by Kac, Wang, and Yan. The vacuum \({\hat{\mathcal{D}}^+}\)-module with central charge \({c \in \mathbb{C}}\), and its irreducible quotient \({\mathcal{V}_c}\), possess vertex algebra structures, and \({\mathcal{V}_c}\) has a nontrivial structure if and only if \({c \in \frac{1}{2}\mathbb{Z}}\). We show that for each integer \({n > 0}\), \({\mathcal{V}_{n/2}}\) and \({\mathcal{V}_{-n}}\) are \({\mathcal{W}}\)-algebras of types \({\mathcal{W}(2, 4,\dots,2n)}\) and \({\mathcal{W}(2, 4,\dots, 2n^2 + 4n)}\), respectively. These results are formal consequences of Weyl’s first and second fundamental theorems of invariant theory for the orthogonal group \({{\rm O}(n)}\) and the symplectic group \({{\rm Sp}(2n)}\), respectively. Based on Sergeev’s theorems on the invariant theory of \({{\rm Osp}(1, 2n)}\) we conjecture that \({\mathcal{V}_{-n+1/2}}\) is of type \({\mathcal{W}(2, 4,\dots, 4n^2 + 8n + 2)}\), and we prove this for \({n = 1}\). As an application, we show that invariant subalgebras of \({\beta\gamma}\)-systems and free fermion algebras under arbitrary reductive group actions are strongly finitely generated.     

First-principle calculations of structural,electronic, optical,elastic and thermal properties of $$\hbox {MgXAs}_{2}$$ ($$\hbox {X}=\hbox {Si}, \hbox {Ge}$$X=Si,Ge) compounds

First-principle calculations on the structural, electronic, optical, elastic and thermal properties of the chalcopyrite \(\hbox {MgXAs}_{2}\) (\(\hbox {X}=\hbox {Si}, \hbox {Ge}\)) have been performed within the density functional theory (DFT) using the full-potential linearized augmented plane wave (FP-LAPW) method. The obtained equilibrium structural parameters are in good agreement with the available experimental data and theoretical results. The calculated band structures reveal a direct energy band gap for the interested compounds. The predicted band gaps using the modified Becke–Johnson (mBJ) exchange approximation are in fairly good agreement with the experimental data. The optical constants such as the dielectric function, refractive index, and the extinction coefficient are calculated and analysed. The independent elastic parameters namely, \(C_{11}\), \(C_{12}\), \(C_{13}\), \(C_{33}\), \(C_{44}\) and \(C_{66 }\) are evaluated. The effects of temperature and pressure on some macroscopic properties of \(\hbox {MgSiAs}_{2}\) and \(\hbox {MgGeAs}_{2}\) are predicted using the quasiharmonic Debye model in which the lattice vibrations are taken into account.     

Discrete One-Dimensional Coverage Process on a Renewal Process

Consider the following coverage model on \(\mathbb {N}\), for each site \(i \in \mathbb {N}\) associate a pair \((\xi _i, R_i)\) where \((\xi _i)_{i \ge 0}\) is a 1-dimensional undelayed discrete renewal point process and \((R_i)_{i \ge 0}\) is an i.i.d. sequence of \(\mathbb {N}\)-valued random variables. At each site where \(\xi _i=1\) start an interval of length \(R_i\). Coverage occurs if every site of \(\mathbb {N}\) is covered by some interval. We obtain sharp conditions for both, positive and null probability of coverage. As corollaries, we extend results of the literature of rumor processes and discrete one-dimensional Boolean percolation.     

The Einstein–Maxwell Equations and Conformally Kähler Geometry

Page’s Einstein metric on \({{\mathbb{CP}}_2\#\overline{\mathbb{CP}}_2}\) is conformally related to an extremal Kähler metric. Here we construct a family of conformally Kähler solutions of the Einstein–Maxwell equations that deforms the Page metric, while sweeping out the entire Kähler cone of \({{\mathbb{CP}}_2\#\overline{\mathbb{CP}}_2}\). The same method also yields analogous solutions on every Hirzebruch surface. This allows us to display infinitely many geometrically distinct families of solutions of the Einstein–Maxwell equations on the smooth 4-manifolds \({S^2 \times S^2}\) and \({{\mathbb{CP}}_2\#\overline{\mathbb{CP}}_2}\).     

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}}\).     

Mutually Unbiased Unextendible Maximally Entangled Bases in $\mathbb {C}^{d}\otimes \mathbb {C}^{d + 1}$

We study mutually unbiased unextendible maximally entangled bases (MUUMEBs) in bipartite stystem \(\mathbb {C}^{d}\otimes \mathbb {C}^{d + 1}\). By deriving the sufficient and necessary conditions that two MUUMEBs in \(\mathbb {C}^{3}\otimes \mathbb {C}^{4}\) need to satisfy, we first establish two pairs of MUUMEBs in \(\mathbb {C}^{3}\otimes \mathbb {C}^{4}\). Then we present the sufficient and necessary conditions that two MUUMEBs in bipartite system \(\mathbb {C}^{d}\otimes \mathbb {C}^{d + 1}\) need to satisfy, thus generalize the main results of Halqem et al. (Int. J. Theor. Phys. 54(1), 326, 2015).     

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 Remark on CFT Realization of Quantum Doubles of Subfactors: Case Index { < 4}

It is well known that the quantum double \({D(N\subset M)}\) of a finite depth subfactor \({N\subset M}\), or equivalently the Drinfeld center of the even part fusion category, is a unitary modular tensor category. It is big open conjecture that all (unitary) modular tensor categories arise from conformal field theory. We show that for every subfactor \({N\subset M}\) with index \({[M:N] < 4}\) the quantum double \({D(N\subset M)}\) is realized as the representation category of a completely rational conformal net. In particular, the quantum double of \({E_6}\) can be realized as a \({\mathbb{Z}_2}\)-simple current extension of \({{{\rm SU}(2)}_{10}\times {{\rm Spin}(11)}_1}\) and thus is not exotic in any sense. As a byproduct, we obtain a vertex operator algebra for every such subfactor. We obtain the result by showing that if a subfactor \({N\subset M }\) arises from \({\alpha}\)-induction of completely rational nets \({\mathcal{A}\subset \mathcal{B}}\) and there is a net \({\tilde{\mathcal{A}}}\) with the opposite braiding, then the quantum \({D(N\subset M)}\) is realized by completely rational net. We construct completely rational nets with the opposite braiding of \({{{\rm SU}(2)}_k}\) and use the well-known fact that all subfactors with index \({[M:N] < 4}\) arise by \({\alpha}\)-induction from \({{{\rm SU}(2)}_k}\).     

Global Structure of Quaternion Polynomial Differential Equations

In this paper we mainly study the global structure of the quaternion Bernoulli equations \({\dot q=aq+bq^n}\) for \({q\in {\mathbb{H}}}\), the quaternion field and also some other form of cubic quaternion differential equations. By using the Liouvillian theorem of integrability and the topological characterization of 2–dimensional torus: orientable compact connected surface of genus one, we prove that the quaternion Bernoulli equations may have invariant tori, which possesses a full Lebesgue measure subset of \({{\mathbb{H}}}\). Moreover, if n = 2 all the invariant tori are full of periodic orbits; if n = 3 there are infinitely many invariant tori fulfilling periodic orbits and also infinitely many invariant ones fulfilling dense orbits.     

Rapid communication: $$K_{S}^{0}$$ Production from beryllium target using 120 $$\hbox {GeV}/\hbox {c}$$GeV/c protons beam interactions at the MIPP experiment

We have measured the cross-section for the \(K_{S}^{0}\) production from beryllium target using 120 \(\hbox {GeV}/\hbox {c}\) protons beam interactions at the main injector particle production (MIPP) experiment at Fermilab. The data were collected with target having a thickness of 0.94% of the nuclear interaction length. The \(K_{S}^{0}\) inclusive differential cross-section in bins of momenta is presented covering momentum range from \(0.4\,\hbox {GeV}/\hbox {c}\) to \(30\,\hbox {GeV}/\hbox {c}\). The measured inclusive \(K_{S}^{0}\) production cross-section amounts to \(39.54\pm 1.46\delta _{\mathrm {stat}}\pm 6.97\delta _{\mathrm {syst}}\) mb and the value is compared with the prediction of FLUKA hadron production model.     

Mutually Unbiasedness between Maximally Entangled Bases and Unextendible Maximally Entangled Systems in $\mathbb {C}^{2}\otimes \mathbb {C}^{2^{k}}$

The mutually unbiasedness between a maximally entangled basis (MEB) and an unextendible maximally entangled system (UMES) in the bipartite system \(\mathbb {C}^{2}\otimes \mathbb {C}^{2^{k}} (k>1)\) are introduced and discussed first in this paper. Then two mutually unbiased pairs of a maximally entangled basis and an unextendible maximally entangled system are constructed; lastly, explicit constructions are obtained for mutually unbiased MEB and UMES in \(\mathbb {C}^{2}\otimes \mathbb {C}^{4}\) and \(\mathbb {C}^{2}\otimes \mathbb {C}^{8}\), respectively.     

Search of the neutrino-less double beta decay of $$^{}$$Se into the excited states of $$^{}$$Kr with CUPID-0

The CUPID-0 experiment searches for double beta decay using cryogenic calorimeters with double (heat and light) read-out. The detector, consisting of 24 ZnSe crystals 95\(\%\) enriched in \(^{82}\)Se and two natural ZnSe crystals, started data-taking in 2017 at Laboratori Nazionali del Gran Sasso. We present the search for the neutrino-less double beta decay of \(^{82}\)Se into the 0\(_1^+\), 2\(_1^+\) and 2\(_2^+\) excited states of \(^{82}\)Kr with an exposure of 5.74 kg\(\cdot \)yr (2.24\(\times \)10\(^{25}\) emitters\(\cdot \)yr). We found no evidence of the decays and set the most stringent limits on the widths of these processes: \(\varGamma \)(\(^{82}\)Se \(\rightarrow ^{82}\)Kr\(_{0_1^+}\))8.55\(\times \)10\(^{-24}\) yr\(^{-1}\), \(\varGamma \) (\(^{82}\) Se \(\rightarrow ^{82}\) Kr \(_{2_1^+}\))\(\,{<}\,6.25 \,{\times }\,10^{-24}\) yr\(^{-1}\), \(\varGamma \)(\(^{82}\)Se \(\rightarrow ^{82}\)Kr\(_{2_2^+}\))8.25\(\times \)10\(^{-24}\) yr\(^{-1}\) (90\(\%\) credible interval).     

Dimensional Crossover in Anisotropic Percolation on $${\mathbb {Z}}^{d+s}$$

We consider bond percolation on \({\mathbb {Z}}^d\times {\mathbb {Z}}^s\) where edges of \({\mathbb {Z}}^d\) are open with probability \(p<p_c({\mathbb {Z}}^d)\) and edges of \({\mathbb {Z}}^s\) are open with probability q, independently of all others. We obtain bounds for the critical curve in (p, q), with p close to the critical threshold \(p_c({\mathbb {Z}}^d)\). The results are related to the so-called dimensional crossover from \({\mathbb {Z}}^d\) to \({\mathbb {Z}}^{d+s}\).     

X-ray spectra and valence states of cations in nanostructured half-doped $$\hbox {La}_{0.5}\hbox {Ca}_{0.5}\hbox {MnO}_{3}$$ manganite

Soft X-ray absorption (XAS) and emission (XES) spectroscopies were applied to determine valence states of manganese ions in nanostructured powder of half-doped \(\hbox {La}_{0.5}\hbox {Ca}_{0.5}\hbox {MnO}_{3}\) manganite obtained by milling in a ball mill. XAS spectra were measured both in surface-sensitivity total electron-yield and in bulk-sensitivity total fluorescence-yield modes. O K\(_{\upalpha }\) XES and O 1s XAS spectra characterized the occupied and unoccupied partial O 2p densities of states are compared with band-structure calculations made using the TB-LMTO-ASA codes. Experimental Mn 2p, Ca 2p, and La 3\(d\) XAS spectra are compared with results of crystal field atomic multiplet calculations. For the nanostructured system of \(\hbox {La}_{0.5}\hbox {Ca}_{0.5}\hbox {MnO}_{3}\), concentrations of Mn\(^{4+}\) ions are found to be increased with increasing the time of milling.