Searcharxiv⌕ Search

arXiv subjects

Miranda C. N. Cheng

Publications and source records attributed to Miranda C. N. Cheng.

At least 37 records · Page 2Linked to original sources

Entangled q-Convolutional Neural Nets

We introduce a machine learning model, the q-CNN model, sharing key features with convolutional neural networks and admitting a tensor network description. As examples, we apply q-CNN to the MNIST and Fashion MNIST classification tasks. We explain how the network associates a quantum state to each classification label, and study the entanglement structure of these network states. In both our experiments on the MNIST and Fashion-MNIST datasets, we observe a distinct increase in both the left/right as well as the up/down bipartition entanglement entropy during training as the network learns the fine features of the data. More generally, we observe a universal negative correlation between the value of the entanglement entropy and the value of the cost function, suggesting that the network needs to learn the entanglement structure in order the perform the task accurately. This supports the possibility of exploiting the entanglement structure as a guide to design the machine learning algorithm suitable for given tasks.

cs.LG↗

Vertex operator superalgebra/sigma model correspondences: The four-torus case

We propose a correspondence between vertex operator superalgebras and families of sigma models in which the two structures are related by symmetry properties and a certain reflection procedure. The existence of such a correspondence is motivated by previous work on N=(4,4) supersymmetric non-linear sigma models on K3 surfaces and on a vertex operator superalgebra with Conway group symmetry. Here we present an example of the correspondence for N=(4,4) supersymmetric non-linear sigma models on four-tori, and compare it to the K3 case.

hep-th↗

3d Modularity

We find and propose an explanation for a large variety of modularity-related symmetries in problems of 3-manifold topology and physics of 3d $\mathcal{N}=2$ theories where such structures a priori are not manifest. These modular structures include: mock modular forms, $SL(2,\mathbb{Z})$ Weil representations, quantum modular forms, non-semisimple modular tensor categories, and chiral algebras of logarithmic CFTs.

hep-th↗

Three-Manifold Quantum Invariants and Mock Theta Functions

Mock modular forms have found applications in numerous branches of mathematical sciences since they were first introduced by Ramanujan nearly a century ago. In this proceeding we highlight a new area where mock modular forms start to play an important role, namely the study of three-manifold invariants. For a certain class of Seifert three-manifolds, we describe a conjecture on the mock modular properties of a recently proposed quantum invariant. As an illustration, we include concrete computations for a specific three-manifold, the Brieskorn sphere $Σ(2,3,7)$. This note is partially based on the talk by the first author in the conference "Srinivasa Ramanujan: in celebration of the centenary of his election as FRS" held at the Royal Society in 2018.

math.NT↗

Flux vacua: A voluminous recount

In this note we apply mathematical results for the volume of certain symmetric spaces to the problem of counting flux vacua in simple IIB Calabi--Yau compactifications. In particular we obtain estimates for the number of flux vacua including the geometric factor related to the Calabi-Yau moduli space, in the large flux limit, for the FHSV model and some closely related models. We see that these geometric factors give rise to contributions to the counting formula that are typically not of order one and might potentially affect the counting qualitatively in some cases. We also note, for simple families of Calabi-Yau moduli spaces, an interesting dependence of the moduli space volumes on the dimension of the flux space, which in turn is governed by the Betti numbers of the Calabi-Yaus.

hep-th↗

Covariance in Physics and Convolutional Neural Networks

In this proceeding we give an overview of the idea of covariance (or equivariance) featured in the recent development of convolutional neural networks (CNNs). We study the similarities and differences between the use of covariance in theoretical physics and in the CNN context. Additionally, we demonstrate that the simple assumption of covariance, together with the required properties of locality, linearity and weight sharing, is sufficient to uniquely determine the form of the convolution.

cs.LG↗

Generalised Umbral Moonshine

Umbral moonshine describes an unexpected relation between 23 finite groups arising from lattice symmetries and special mock modular forms. It includes the Mathieu moonshine as a special case and can itself be viewed as an example of the more general moonshine phenomenon which connects finite groups and distinguished modular objects. In this paper we introduce the notion of generalised umbral moonshine, which includes the generalised Mathieu moonshine [Gaberdiel M.R., Persson D., Ronellenfitsch H., Volpato R., Commun. Number Theory Phys. 7 (2013), 145-223] as a special case, and provide supporting data for it. A central role is played by the deformed Drinfel'd (or quantum) double of each umbral finite group $G$, specified by a cohomology class in $H^3(G,U(1))$. We conjecture that in each of the 23 cases there exists a rule to assign an infinite-dimensional module for the deformed Drinfel'd double of the umbral finite group underlying the mock modular forms of umbral moonshine and generalised umbral moonshine. We also discuss the possible origin of the generalised umbral moonshine.

math.RT↗

Attractive Strings and Five-Branes, Skew-Holomorphic Jacobi Forms and Moonshine

We show that certain BPS counting functions for both fundamental strings and strings arising from fivebranes wrapping divisors in Calabi--Yau threefolds naturally give rise to skew-holomorphic Jacobi forms at rational and attractor points in the moduli space of string compactifications. For M5-branes wrapping divisors these are forms of weight negative one, and in the case of multiple M5-branes skew-holomorphic mock Jacobi forms arise. We further find that in simple examples these forms are related to skew-holomorphic (mock) Jacobi forms of weight two that play starring roles in moonshine. We discuss examples involving M5-branes on the complex projective plane, del Pezzo surfaces of degree one, and half-K3 surfaces. For del Pezzo surfaces of degree one and certain half-K3 surfaces we find a corresponding graded (virtual) module for the degree twelve Mathieu group. This suggests a more extensive relationship between Mathieu groups and complex surfaces, and a broader role for M5-branes in the theory of Jacobi forms and moonshine.

hep-th↗

TASI Lectures on Moonshine

The word moonshine refers to unexpected relations between the two distinct mathematical structures: finite group representations and modular objects. It is believed that the key to understanding moonshine is through physical theories with special symmetries. Recent years have seen a varieties of new ways in which finite group representations and modular objects can be connected to each other, and these developments have brought promises and also puzzles into the string theory community. These lecture notes aim to bring graduate students in theoretical physics and mathematical physics to the forefront of this active research area. In Part II of this note, we review the various cases of moonshine connections, ranging from the classical monstrous moonshine established in the last century to the most recent findings. In Part III, we discuss the relation between the moonshine connections and physics, especially string theory. After briefly reviewing a recent physical realisation of monstrous moonshine, we will describe in some details the mystery of the physical aspects of umbral moonshine, and also mention some other setups where string theory black holes can be connected to moonshine. To make the exposition self-contained, we also provide the relevant background knowledge in Part I, including sections on finite groups, modular objects, and two-dimensional conformal field theories. This part occupies half of the pages of this set of notes and can be skipped by readers who are already familiar with the relevant concepts and techniques.

hep-th↗

K3 Elliptic Genus and an Umbral Moonshine Module

Umbral moonshine connects the symmetry groups of the 23 Niemeier lattices with 23 sets of distinguished mock modular forms. The 23 cases of umbral moonshine have a uniform relation to symmetries of $K3$ string theories. Moreover, a supersymmetric vertex operator algebra with Conway sporadic symmetry also enjoys a close relation to the $K3$ elliptic genus. Inspired by the above two relations between moonshine and $K3$ string theory, we construct a chiral CFT by orbifolding the free theory of 24 chiral fermions and two pairs of fermionic and bosonic ghosts. In this paper we mainly focus on the case of umbral moonshine corresponding to the Niemeier lattice with root system given by 6 copies of $D_4$ root system. This CFT then leads to the construction of an infinite-dimensional graded module for the umbral group $G^{D_4^{\oplus 6}}$ whose graded characters coincide with the umbral moonshine functions. We also comment on how one can recover all umbral moonshine functions corresponding to the Niemeier root systems $A_5^{\oplus 4}D_4$, $A_7^{\oplus 2}D_5^{\oplus 2}$ , $A_{11}D_7 E_6$, $A_{17}E_7$, and $D_{10}E_7^{\oplus 2}$.

hep-th↗

Umbral Moonshine and K3 Surfaces

Recently, 23 cases of umbral moonshine, relating mock modular forms and finite groups, have been discovered in the context of the 23 even unimodular Niemeier lattices. One of the 23 cases in fact coincides with the so-called Mathieu moonshine, discovered in the context of K3 non-linear sigma models. In this paper we establish a uniform relation between all 23 cases of umbral moonshine and K3 sigma models, and thereby take a first step in placing umbral moonshine into a geometric and physical context. This is achieved by relating the ADE root systems of the Niemeier lattices to the ADE du Val singularities that a K3 surface can develop, and the configuration of smooth rational curves in their resolutions. A geometric interpretation of our results is given in terms of the marking of K3 surfaces by Niemeier lattices.

hep-th↗

Landau-Ginzburg Orbifolds and Symmetries of K3 CFTs

Recent developments in the study of the moonshine phenomenon, including umbral and Conway moonshine, suggest that it may play an important role in encoding the action of finite symmetry groups on the BPS spectrum of K3 string theory. To test and clarify these proposed K3-moonshine connections, we study Landau-Ginzburg orbifolds that flow to conformal field theories in the moduli space of K3 sigma models. We compute K3 elliptic genera twined by discrete symmetries that are manifest in the UV description, though often inaccessible in the IR. We obtain various twining functions coinciding with moonshine predictions that have not been observed in physical theories before. These include twining functions arising from Mathieu moonshine, other cases of umbral moonshine, and Conway moonshine. For instance, all functions arising from $M_{11} \subset 2.M_{12}$ moonshine appear as explicit twining genera in the LG models, which moreover admit a uniform description in terms of its natural 12-dimensional representation. Our results provide strong evidence for the relevance of umbral moonshine for K3 symmetries, as well as new hints for its eventual explanation.

hep-th↗

K3 String Theory, Lattices and Moonshine

In this paper we address the following two closely related questions. First, we complete the classification of finite symmetry groups of type IIA string theory on $K3\times \mathbb R^6$, where Niemeier lattices play an important role. This extends earlier results by including points in the moduli space with enhanced gauge symmetries in spacetime, or, equivalently, where the world-sheet CFT becomes singular. After classifying the symmetries as abstract groups, we study how they act on the BPS states of the theory. In particular, we classify the conjugacy classes in the T-duality group $O^+(Γ^{4,20})$ which represent physically distinct symmetries. Subsequently, we make two conjectures regarding the connection between the corresponding twining genera of $K3$ CFTs and Conway and umbral moonshine, building upon earlier work on the relation between moonshine and the $K3$ elliptic genus.

hep-th↗

Meromorphic Jacobi Forms of Half-Integral Index and Umbral Moonshine Modules

In this work we consider an association of meromorphic Jacobi forms of half-integral index to the pure D-type cases of umbral moonshine, and solve the module problem for four of these cases by constructing vertex operator superalgebras that realise the corresponding meromorphic Jacobi forms as graded traces. We also present a general discussion of meromorphic Jacobi forms with half-integral index and their relationship to mock modular forms.

math.RT↗

Weight One Jacobi Forms and Umbral Moonshine

We analyze holomorphic Jacobi forms of weight one with level. One such form plays an important role in umbral moonshine, leading to simplifications of the statements of the umbral moonshine conjectures. We prove that non-zero holomorphic Jacobi forms of weight one do not exist for many combinations of index and level, and use this to establish a characterization of the McKay--Thompson series of umbral moonshine in terms of Rademacher sums.

math.NT↗

Optimal Mock Jacobi Theta Functions

We classify the optimal mock Jacobi forms of weight one with rational coefficients. The space they span is thirty-four-dimensional, and admits a distinguished basis parameterized by genus zero groups of isometries of the hyperbolic plane. We show that their Fourier coefficients can be expressed explicitly in terms of singular moduli, and obtain positivity conditions which distinguish the optimal mock Jacobi forms that appear in umbral moonshine. We find that all of Ramanujan's mock theta functions can be expressed simply in terms of the optimal mock Jacobi forms with rational coefficients.

math.NT↗

Mock Modular Mathieu Moonshine Modules

We construct super vertex operator algebras which lead to modules for moonshine relations connecting the four smaller sporadic simple Mathieu groups with distinguished mock modular forms. Starting with an orbifold of a free fermion theory, any subgroup of Co_0 that fixes a 3-dimensional subspace of its unique non-trivial 24-dimensional representation commutes with a certain N=4 superconformal algebra. Similarly, any subgroup of Co_0 that fixes a 2-dimensional subspace of the 24-dimensional representation commutes with a certain N=2 superconformal algebra. Through the decomposition of the corresponding twined partition functions into characters of the N=4 (resp. N=2) superconformal algebra, we arrive at mock modular forms which coincide with the graded characters of an infinite-dimensional Z-graded module for the corresponding group. The Mathieu groups are singled out amongst various other possibilities by the moonshine property: requiring the corresponding weak Jacobi forms to have certain asymptotic behaviour near cusps. Our constructions constitute the first examples of explicitly realized modules underlying moonshine phenomena relating mock modular forms to sporadic simple groups. Modules for other groups, including the sporadic groups of McLaughlin and Higman--Sims, are also discussed.

hep-th↗

Equivariant K3 Invariants

In this note, we describe a connection between the enumerative geometry of curves in K3 surfaces and the chiral ring of an auxiliary superconformal field theory. We consider the invariants calculated by Yau--Zaslow (capturing the Euler characters of the moduli spaces of D2-branes on curves of given genus), together with their refinements to carry additional quantum numbers by Katz--Klemm--Vafa (KKV), and Katz--Klemm--Pandharipande (KKP). We show that these invariants can be reproduced by studying the Ramond ground states of an auxiliary chiral superconformal field theory which has recently been observed to give rise to mock modular moonshine for a variety of sporadic simple groups that are subgroups of Conway's group. We also study equivariant versions of these invariants. A K3 sigma model is specified by a choice of 4-plane in the K3 D-brane charge lattice. Symmetries of K3 sigma models are naturally identified with 4-plane preserving subgroups of the Conway group, according to the work of Gaberdiel--Hohenegger--Volpato, and one may consider corresponding equivariant refined K3 Gopakumar--Vafa invariants. The same symmetries naturally arise in the auxiliary CFT state space, affording a suggestive alternative view of the same computation. We comment on a lift of this story to the generating function of elliptic genera of symmetric products of K3 surfaces.

hep-th↗