Unique Continuation from Infinity in Asymptotically Anti-de Sitter Spacetimes

We consider the unique continuation properties of asymptotically anti-de Sitter spacetimes by studying Klein–Gordon-type equations \({\Box_g \phi + \sigma \phi = {\mathcal{G}} ( \phi, \partial \phi )}\), \({\sigma \in {\mathbb{R}}}\), on a large class of such spacetimes. Our main result establishes that if \({\phi}\) vanishes to sufficiently high order (depending on \({\sigma}\)) on a sufficiently long time interval along the conformal boundary \({{\mathcal{I}}}\), then the solution necessarily vanishes in a neighborhood of \({{\mathcal{I}}}\). In particular, in the \({\sigma}\)-range where Dirichlet and Neumann conditions are possible on \({{\mathcal{I}}}\) for the forward problem, we prove uniqueness if both these conditions are imposed. The length of the time interval can be related to the refocusing time of null geodesics on these backgrounds and is expected to be sharp. Some global applications as well as a uniqueness result for gravitational perturbations are also discussed. The proof is based on novel Carleman estimates established in this setting.     

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.     

Crossover to the Stochastic Burgers Equation for the WASEP with a Slow Bond

We consider the weakly asymmetric simple exclusion process in the presence of a slow bond and starting from the invariant state, namely the Bernoulli product measure of parameter \({\rho \in (0,1)}\). The rate of passage of particles to the right (resp. left) is \({\frac{1}{2} + \frac{a}{2n^{\gamma}}}\) (resp. \({\frac{1}{2} - \frac{a}{2n^{\gamma}}}\)) except at the bond of vertices \({\{-1,0\}}\) where the rate to the right (resp. left) is given by \({\frac{\alpha}{2n^\beta} + \frac{a}{2n^{\gamma}}}\) (resp. \({\frac{\alpha}{2n^\beta}-\frac{a}{2n^{\gamma}}}\)). Above, \({\alpha > 0}\), \({\gamma \geq \beta \geq 0}\), \({a\geq 0}\). For \({\beta < 1}\), we show that the limit density fluctuation field is an Ornstein–Uhlenbeck process defined on the Schwartz space if \({\gamma > \frac{1}{2}}\), while for \({\gamma = \frac{1}{2}}\) it is an energy solution of the stochastic Burgers equation. For \({\gamma \geq \beta =1}\), it is an Ornstein–Uhlenbeck process associated to the heat equation with Robin’s boundary conditions. For \({\gamma \geq \beta > 1}\), the limit density fluctuation field is an Ornstein–Uhlenbeck process associated to the heat equation with Neumann’s boundary conditions.     

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.     

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.     

On a Hamilton-Poisson Approach of the Maxwell-Bloch Equations with a Control

In this paper we consider the 3D real-valued Maxwell-Bloch equations with a parametric control given by \(\dot {x}=y+az+byz,\dot {y}=xz,\dot {z}=-xy\) (\(a,b\in \mathbb {R}\)). We give two Lie-Poisson structures of this system that are related with well-known Lie algebras. Moreover, we construct infinitely many Hamilton-Poisson realizations of this system. We also analyze the stability of the equilibrium points, as well as the existence of periodic orbits. In addition, we emphasize some connections between the energy-Casimir mapping of the considered system and the above-mentioned dynamical elements.     

Evaluation of spectral dispersion of optical constants of a-Se films from their normal-incidence transmittance spectra using Swanepoel algebraic envelope approach

Spectral dispersions of index of refraction \({n(\lambda )}\) and extinction coefficient \({\kappa (\lambda )}\) of undoped amorphous selenium (a-Se) films of three thicknesses (d?≈?0.5, 0.75, and 1.0 µm) were evaluated by analyzing experimental room-temperature normal-incidence transmittance-wavelength (\({{T_{{\text{exp}}}}(\lambda )} - \lambda\)) data (λ =?400–1100 µm) of their air-supported {a-Se film/thick glass slide}-stacks using Swanepoel’s transmission envelope theory of uniform films. Above a wavelength \({{\lambda _c}\,\, \approx \,\,640\;{\text{nm}}}\), as-measured \({{T_{{\text{exp}}}}(\lambda )}\,\, - \,\lambda\) spectra display well-resolved maxima and minima, with minor shrinkage in transparent and weak absorption regions (750–1100 nm). Below \({\lambda _{\text{c}}}\), a smeared sharp decline of \({{T_{{\text{exp}}}}(\lambda )}\) with decreasing λ, signifying strong absorption in a-Se films and existence of band-tail localized states. For λ > λ _c, the \({n\,(\lambda )}\, - \,\lambda\) data retrieved from algebraic envelope procedures followed a Sellmeier-like dispersion relation, with the best-fit values of high-frequency dielectric constant \({{\varepsilon _\infty }\, \approx \,\,{\text{4.9}}}\), static index of refraction \({{n_{\text{0}}} = n\left( {E\, \to \,{\text{0}}} \right)\,\, \approx \,\,{\text{2.43}}}\), and resonance wavelength \({{\lambda _0}\, \approx \,490\,\,{\text{nm}}}\), which may be assigned to onset of photogeneration in a-Se. Urbach-like dependency of absorption coefficient \({\alpha (h{{\nu }})}\) of a-Se films on photon energy \({h{{\nu }}}\) was realized with an Urbach-tail breadth of 85 meV. All achieved optical parameters were found to be slightly dependent on film thickness. Findings of present algebraic analysis are consistent with reported literature results obtained on the basis of other optical analytical approaches.     

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

Quantum Symmetries and Strong Haagerup Inequalities

In this paper, we consider families of operators \({\{x_r\}_{r \in \Lambda}}\) in a tracial C*-probability space \({({\mathcal{A}}, \varphi)}\) , whose joint *-distribution is invariant under free complexification and the action of the hyperoctahedral quantum groups \({\{H_n^+\}_{n \in \mathbb {N}}}\) . We prove a strong form of Haagerup’s inequality for the non-self-adjoint operator algebra \({{\mathcal{B}}}\) generated by \({\{x_r\}_{r \in \Lambda}}\) , which generalizes the strong Haagerup inequalities for *-free R-diagonal families obtained by Kemp–Speicher (J Funct Anal 251:141–173, 2007). As an application of our result, we show that \({{\mathcal{B}}}\) always has the metric approximation property (MAP). We also apply our techniques to study the reduced C*-algebra of the free unitary quantum group \({U_n^+}\) . We show that the non-self-adjoint subalgebra \({{\mathcal{B}}_n}\) generated by the matrix elements of the fundamental corepresentation of \({U_n^+}\) has the MAP. Additionally, we prove a strong Haagerup inequality for \({{\mathcal{B}}_n}\) , which improves on the estimates given by Vergnioux’s property RD (Vergnioux in J Oper Theory 57:303–324, 2007).     

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

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.     

$${\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.     

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

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.     

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.     

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

Spectra of Semi-Infinite Quantum Graph Tubes

The spectrum of a semi-infinite quantum graph tube with square period cells is analyzed. The structure is obtained by rolling up a doubly periodic quantum graph into a tube along a period vector and then retaining only a semi-infinite half of the tube. The eigenfunctions associated to the spectrum of the half-tube involve all Floquet modes of the full tube. This requires solving the complex dispersion relation \({D(\lambda,k_1,k_2)=0}\) with \({(k_1,k_2)\in(\mathbb{C}/2\pi\mathbb{Z})^2}\) subject to the constraint \({a k_1 + bk_2 \equiv 0}\) (mod \({2\pi}\)), where a and b are integers. The number of Floquet modes for a given \({\lambda\in\mathbb{R}}\)  is  \({2\max\left\{ a, b \right\}}\). Rightward and leftward modes are determined according to an indefinite energy flux form. The spectrum may contain eigenvalues that depend on the boundary conditions, and some eigenvalues may be embedded in the continuous spectrum.     

Tensor functors between Morita duals of fusion categories

Given a fusion category \({\mathcal C}\) and an indecomposable \({\mathcal C}\)-module category \({\mathcal M}\), the fusion category \({\mathcal C}^*_{_{{\mathcal M}}}\) of \({\mathcal C}\)-module endofunctors of \({\mathcal M}\) is called the (Morita) dual fusion category of \({\mathcal C}\) with respect to \({\mathcal M}\). We describe tensor functors between two arbitrary duals \({\mathcal C}^*_{_{{\mathcal M}}}\) and \({\mathcal D}^*_{\mathcal N}\) in terms of data associated to \({\mathcal C}\) and \({\mathcal D}\). We apply the results to G-equivariantizations of fusion categories and group-theoretical fusion categories. We describe the orbits of the action of the Brauer–Picard group on the set of module categories and we propose a categorification of the Rosenberg–Zelinsky sequence for fusion categories.     

{\mathbb{Z}_{2}} Invariants of Topological Insulators as Geometric Obstructions

We consider a gapped periodic quantum system with time-reversal symmetry of fermionic (or odd) type, i.e. the time-reversal operator squares to \({-\mathbb{1}}\). We investigate the existence of periodic and time-reversal invariant Bloch frames in dimensions 2 and 3. In 2d, the obstruction to the existence of such a frame is shown to be encoded in a \({\mathbb{Z}_2}\)-valued topological invariant, which can be computed by a simple algorithm. We prove that the latter agrees with the Fu-Kane index. In 3d, instead, four \({\mathbb{Z}_2}\) invariants emerge from the construction, again related to the Fu-Kane-Mele indices. When no topological obstruction is present, we provide a constructive algorithm yielding explicitly a periodic and time-reversal invariant Bloch frame. The result is formulated in an abstract setting, so that it applies both to discrete models and to continuous ones.     

A Note on Truncated Long-Range Percolation with Heavy Tails on Oriented Graphs

We consider oriented long-range percolation on a graph with vertex set \({\mathbb {Z}}^d \times {\mathbb {Z}}_+\) and directed edges of the form \(\langle (x,t), (x+y,t+1)\rangle \), for x, y in \({\mathbb {Z}}^d\) and \(t \in {\mathbb {Z}}_+\). Any edge of this form is open with probability \(p_y\), independently for all edges. Under the assumption that the values \(p_y\) do not vanish at infinity, we show that there is percolation even if all edges of length more than k are deleted, for k large enough. We also state the analogous result for a long-range contact process on \({\mathbb {Z}}^d\).