Researcher profile

Miranda C. N. Cheng

Miranda C. N. Cheng contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 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.

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.

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.

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.