Source author record

Miranda C. N. Cheng

Miranda C. N. Cheng appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

Analytic Bijections for Smooth and Interpretable Normalizing Flows

A key challenge in designing normalizing flows is finding expressive scalar bijections that remain invertible with tractable Jacobians. Existing approaches face trade-offs: affine transformations are smooth and analytically invertible but lack expressivity; monotonic splines offer local control but are only piecewise smooth and act on bounded domains; residual flows achieve smoothness but need numerical inversion. We introduce three families of analytic bijections -- cubic rational, sinh, and cubic polynomial -- that are globally smooth ($C^\infty$), defined on all of $\mathbb{R}$, and analytically invertible in closed form, combining the favorable properties of all prior approaches. These bijections serve as drop-in replacements in coupling flows, matching or exceeding spline performance. Beyond coupling layers, we develop radial flows: a novel architecture using direct parametrization that transforms the radial coordinate while preserving angular direction. Radial flows exhibit exceptional training stability, produce geometrically interpretable transformations, and on targets with radial structure can achieve comparable quality to coupling flows with $1000\times$ fewer parameters. We provide comprehensive evaluation on 1D and 2D benchmarks, and demonstrate applicability to higher-dimensional physics problems through experiments on $ϕ^4$ lattice field theory, where our bijections outperform affine baselines and enable problem-specific designs that address mode collapse.

preprint2025arXiv

Lecture Notes on Normalizing Flows for Lattice Quantum Field Theories

Numerical simulations of quantum field theories on lattices serve as a fundamental tool for studying the non-perturbative regime of the theories, where analytic tools often fall short. Challenges arise when one takes the continuum limit or as the system approaches a critical point, especially in the presence of non-trivial topological structures in the theory. Rapid recent advances in machine learning provide a promising avenue for progress in this area. These lecture notes aim to give a brief account of lattice field theories, normalizing flows, and how the latter can be applied to study the former. The notes are based on the lectures given by the first author in various recent research schools.

preprint2022arXiv

Cone Vertex Algebras, Mock Theta Functions, and Umbral Moonshine Modules

We describe a family of indefinite theta functions of signature $(1,1)$ that can be expressed in terms of trace functions of vertex algebras built from cones in lattices. The family of indefinite theta functions considered has interesting connections with mock theta functions and Appell-Lerch sums. We use these relations to write the McKay-Thompson series of umbral moonshine at lambency $\ell=8,12,16$ in terms of trace functions of vertex algebras modules, and thereby provide the modules for these instances of umbral moonshine.

preprint2020arXiv

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.

preprint2015arXiv

Elliptic Genera and 3d Gravity

We describe general constraints on the elliptic genus of a 2d supersymmetric conformal field theory which has a gravity dual with large radius in Planck units. We give examples of theories which do and do not satisfy the bounds we derive, by describing the elliptic genera of symmetric product orbifolds of $K3$, product manifolds, certain simple families of Calabi-Yau hypersurfaces, and symmetric products of the "Monster CFT." We discuss the distinction between theories with supergravity duals and those whose duals have strings at the scale set by the AdS curvature. Under natural assumptions we attempt to quantify the fraction of (2,2) supersymmetric conformal theories which admit a weakly curved gravity description, at large central charge.

preprint2015arXiv

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.

preprint2015arXiv

Exceptional Algebra and Sporadic Groups at c=12

In earlier works, it was seen that a ${\mathbb Z}/2$ orbifold of the theory of 24 free two-dimensional chiral fermions admits various sporadic finite simple groups as global symmetry groups when viewed as an ${\cal N}=1$, ${\cal N}=2$, or ${\cal N}=4$ superconformal field theory. In this note, we show that viewing the same theory as an SCFT with extended ${\cal N}=1$ symmetry -- where the extension is the same one which arises in string compactification on manifolds of exceptional Spin$(7)$ holonomy -- yields theories which have global symmetry given by the sporadic groups $M_{24}, Co_2$ or $Co_3$. The partition functions twined by these symmetries, when decomposed into characters of the Spin(7) algebra, give rise to two-component vector-valued mock modular forms encoding an infinite-dimensional module for the corresponding sporadic groups.

preprint2015arXiv

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.

preprint2014arXiv

Umbral Moonshine and the Niemeier Lattices

In this paper we relate umbral moonshine to the Niemeier lattices: the 23 even unimodular positive-definite lattices of rank 24 with non-trivial root systems. To each Niemeier lattice we attach a finite group by considering a naturally defined quotient of the lattice automorphism group, and for each conjugacy class of each of these groups we identify a vector-valued mock modular form whose components coincide with mock theta functions of Ramanujan in many cases. This leads to the umbral moonshine conjecture, stating that an infinite-dimensional module is assigned to each of the Niemeier lattices in such a way that the associated graded trace functions are mock modular forms of a distinguished nature. These constructions and conjectures extend those of our earlier paper, and in particular include the Mathieu moonshine observed by Eguchi-Ooguri-Tachikawa as a special case. Our analysis also highlights a correspondence between genus zero groups and Niemeier lattices. As a part of this relation we recognise the Coxeter numbers of Niemeier root systems with a type A component as exactly those levels for which the corresponding classical modular curve has genus zero.

preprint2013arXiv

Mathieu Moonshine and N=2 String Compactifications

There is a `Mathieu moonshine' relating the elliptic genus of K3 to the sporadic group M_{24}. Here, we give evidence that this moonshine extends to part of the web of dualities connecting heterotic strings compactified on K3 \times T^2 to type IIA strings compactified on Calabi-Yau threefolds. We demonstrate that dimensions of M_{24} representations govern the new supersymmetric index of the heterotic compactifications, and appear in the Gromov--Witten invariants of the dual Calabi-Yau threefolds, which are elliptic fibrations over the Hirzebruch surfaces F_n.

preprint2013arXiv

On the Discrete Groups of Mathieu Moonshine

We prove that a certain space of cusp forms for the Hecke congruence group of a given level is one-dimensional if and only if that level is the order of an element of the second largest Mathieu group. As such, our result furnishes a direct analogue of Ogg's observation that the normaliser of a Hecke congruence group of prime level has genus zero if and only if that prime divides the order of the Fischer-Griess monster group. The significance of the cusp forms under consideration is explained by the Rademacher sum construction of the McKay-Thompson series of Mathieu moonshine. Our result supports a conjectural characterisation of the discrete groups and multiplier systems arising in Mathieu moonshine.

preprint2013arXiv

Umbral Moonshine

We describe surprising relationships between automorphic forms of various kinds, imaginary quadratic number fields and a certain system of six finite groups that are parameterised naturally by the divisors of twelve. The Mathieu group correspondence recently discovered by Eguchi-Ooguri-Tachikawa is recovered as a special case. We introduce a notion of extremal Jacobi form and prove that it characterises the Jacobi forms arising by establishing a connection to critical values of Dirichlet series attached to modular forms of weight two. These extremal Jacobi forms are closely related to certain vector-valued mock modular forms studied recently by Dabholkar-Murthy-Zagier in connection with the physics of quantum black holes in string theory. In a manner similar to monstrous moonshine the automorphic forms we identify constitute evidence for the existence of infinite-dimensional graded modules for the six groups in our system. We formulate an umbral moonshine conjecture that is in direct analogy with the monstrous moonshine conjecture of Conway-Norton. Curiously, we find a number of Ramanujan's mock theta functions appearing as McKay-Thompson series. A new feature not apparent in the monstrous case is a property which allows us to predict the fields of definition of certain homogeneous submodules for the groups involved. For four of the groups in our system we find analogues of both the classical McKay correspondence and McKay's monstrous Dynkin diagram observation manifesting simultaneously and compatibly.

preprint2012arXiv

Rademacher Sums and Rademacher Series

We exposit the construction of Rademacher sums in arbitrary weights and describe their relationship to mock modular forms. We introduce the notion of Rademacher series and describe several applications, including the determination of coefficients of Rademacher sums and a very general form of Zagier duality. We then review the application of Rademacher sums and series to moonshine both monstrous and umbral and highlight several open problems. We conclude with a discussion of the interpretation of Rademacher sums in physics.

preprint2011arXiv

On Rademacher Sums, the Largest Mathieu Group, and the Holographic Modularity of Moonshine

Recently a conjecture has been proposed which attaches (mock) modular forms to the largest Mathieu group. This may be compared to monstrous moonshine, in which modular functions are attached to elements of the Monster group. One of the most remarkable aspects of monstrous moonshine is the following genus zero property: the modular functions turn out to be the generators for the function fields of their invariance groups. In particular, these invariance groups define genus zero quotients of the upper half plane. It is therefore natural to ask if there is an analogue of this property in the Mathieu case, and at first glance the answer appears to be negative since not all the discrete groups arising there have genus zero. On the other hand, in this article we prove that each (mock) modular form appearing in the Mathieu correspondence coincides with the Rademacher sum constructed from its polar part. This property, inspired by the AdS/CFT correspondence in physics, was shown previously to be equivalent to the genus zero property of monstrous moonshine. Hence we conclude that this "Rademacher summability" property serves as the natural analogue of the genus zero property in the Mathieu case. Our result constitutes further evidence that the Rademacher method provides a powerful framework for understanding the modularity of moonshine, and leads to interesting physical questions regarding the gravitational duals of the relevant conformal field theories.

preprint2011arXiv

Quantum Geometry of Refined Topological Strings

We consider branes in refined topological strings. We argue that their wave-functions satisfy a Schrödinger equation depending on multiple times and prove this in the case where the topological string has a dual matrix model description. Furthermore, in the limit where one of the equivariant rotations approaches zero, the brane partition function satisfies a time-independent Schroedinger equation. We use this observation, as well as the back reaction of the brane on the closed string geometry, to offer an explanation of the connection between integrable systems and N=2 gauge systems in four dimensions observed by Nekrasov and Shatashvili.

preprint2010arXiv

Non-Perturbative Topological Strings And Conformal Blocks

We give a non-perturbative completion of a class of closed topological string theories in terms of building blocks of dual open strings. In the specific case where the open string is given by a matrix model these blocks correspond to a choice of integration contour. We then apply this definition to the AGT setup where the dual matrix model has logarithmic potential and is conjecturally equivalent to Liouville conformal field theory. By studying the natural contours of these matrix integrals and their monodromy properties, we propose a precise map between topological string blocks and Liouville conformal blocks. Remarkably, this description makes use of the light-cone diagrams of closed string field theory, where the critical points of the matrix potential correspond to string interaction points.

preprint2010arXiv

Yukawa Couplings in F-theory and Non-Commutative Geometry

We consider Yukawa couplings generated by a configuration of intersecting seven-branes in F-theory. In configurations with a single interaction point and no fluxes turned on, the Yukawa matrices have rank one. This is no longer true when the three-form H-flux is turned on, which is generically the case for F-theory compactifications on Calabi-Yau fourfolds. In the presence of H-fluxes, the Yukawa coupling is computed using a non-commutative deformation of holomorphic Chern-Simons theory (and its reduction to seven-branes) and subsequently the rank of the Yukawa matrix changes. Such fluxes give rise to a hierarchical structure in the Yukawa matrix in F-theory GUTs of the type which has recently been proposed as a resolution of the flavor hierarchy problem.

preprint2009arXiv

Deformations of Lifshitz holography

The simplest gravity duals for quantum critical theories with z=2 `Lifshitz' scale invariance admit a marginally relevant deformation. Generic black holes in the bulk describe the field theory with a dynamically generated momentum scale Lambda as well as finite temperature T. We describe the thermodynamics of these black holes in the quantum critical regime where T >> Lambda^2. The deformation changes the asymptotics of the spacetime mildly and leads to intricate UV sensitivities of the theory which we control perturbatively in Lambda^2/T.

preprint2008arXiv

Borcherds-Kac-Moody Symmetry of N=4 Dyons

We consider compactifications of heterotic string theory to four dimensions on CHL orbifolds of the type T^6 /Z_N with 16 supersymmetries. The exact partition functions of the quarter-BPS dyons in these models are given in terms of genus-two Siegel modular forms. Only the N=1,2,3 models satisfy a certain finiteness condition, and in these cases one can identify a Borcherds-Kac-Moody superalgebra underlying the symmetry structure of the dyon spectrum. We identify the real roots, and find that the corresponding Cartan matrices exhaust a known classification. We show that the Siegel modular form satisfies the Weyl denominator identity of the algebra, which enables the determination of all root multiplicities. Furthermore, the Weyl group determines the structure of wall-crossings and the attractor flows of the theory. For N> 4, no such interpretation appears to be possible.

preprint2008arXiv

Wall Crossing, Discrete Attractor Flow and Borcherds Algebra

The appearance of a generalized (or Borcherds-) Kac-Moody algebra in the spectrum of BPS dyons in N=4, d=4 string theory is elucidated. From the low-energy supergravity analysis, we identify its root lattice as the lattice of the T-duality invariants of the dyonic charges, the symmetry group of the root system as the extended S-duality group PGL(2,Z) of the theory, and the walls of Weyl chambers as the walls of marginal stability for the relevant two-centered solutions. This leads to an interpretation for the Weyl group as the group of wall-crossing, or the group of discrete attractor flows. Furthermore we propose an equivalence between a "second-quantized multiplicity" of a charge- and moduli-dependent highest weight vector and the dyon degeneracy, and show that the wall-crossing formula following from our proposal agrees with the wall-crossing formula obtained from the supergravity analysis. This can be thought of as providing a microscopic derivation of the wall-crossing formula of this theory.

preprint2007arXiv

More Bubbling Solutions

In this note we construct families of asymptotically flat, smooth, horizonless solutions with a large number of non-trivial two-cycles (bubbles) of N=1 five-dimensional supergravity with an arbitrary number of vector multiplets, which may or may not have the charges of a macroscopic black hole and which contain the known bubbling solutions as a sub-family. We do this by lifting various multi-center BPS states of type IIA compactified on Calabi-Yau three-folds and taking the decompactification (M-theory) limit. We also analyse various properties of these solutions, including the conserved charges, the shape, especially the (absence of) throat and closed timelike curves, and relate them to the various properties of the four-dimensional BPS states. We finish by briefly commenting on their degeneracies and their possible relations to the fuzzball proposal of Mathur et al.