We study hybrid models arising as homological projective duals (HPD) of certain projective embeddings f:X→P(V) of Fano manifolds X. More precisely, the category of B-branes of such hybrid models corresponds to the HPD category of the embedding f. B-branes on these hybrid models can be seen as global matrix factorizations over some compact space B or, equivalently, as the derived category of the sheaf of A-modules on B, where A is an A_∞ algebra. This latter interpretation corresponds to a noncommutative resolution of B. We compute explicitly the algebra A by several methods, for some specific class of hybrid models, and find that in general it takes the form of a smash product of an A_∞ algebra with a cyclic group. Then we apply our results to the HPD of f corresponding to a Veronese embedding of projective space and the projective embedding of Fano complete intersections in P^n.

We study BPS states of 5d N=1 SU(2) Yang-Mills theory on S^1×R^4. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface F_0. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle interpolates smoothly with the spectrum of 4d N=2 Seiberg-Witten theory, recovering spectral networks in the limit.

We propose a formula for the exact central charge of a B-type D-brane that is expected to hold in all regions of the Kähler moduli space of a Calabi–Yau. For Landau–Ginzburg orbifolds we propose explicit expressions for the mathematical objects that enter into the central charge formula. We show that our results are consistent with results in FJRW theory and the hemisphere partition function of the gauged linear sigma model.

In these notes, we provide an introduction to the hemisphere partition function of 2d (2, 2) supersymmetric gauge theories, and discuss its relation to the “D-brane central charge” which were studied in superstring theory, in 2d supersymmetric quantum field theory, and in topological string theory. We also discuss relation to “macroscopic loop” in matrix models. They are mostly reviews of the work by the authors, but contains some new results such as the partition function for a rotated supersymmetry as well as the differential equations.

We study BPS spectra of D-branes on local Calabi-Yau threefolds O(−p)⊕O(p−2)→P^1 with p=0,1, corresponding to C^3/Z_2 and the resolved conifold. Nonabelianization for exponential networks is applied to compute directly unframed BPS indices counting states with D2 and D0 brane charges. Known results on these BPS spectra are correctly reproduced by computing new types of BPS invariants of 3d-5d BPS states, encoded by nonabelianization, through their wall-crossing. We also develop the notion of exponential BPS graphs for the simplest toric examples, and show that they encode both the quiver and the potential associated to the Calabi-Yau via geometric engineering.

We study B-branes in two-dimensional N=(2,2) anomalous models, and their behaviour as we vary bulk parameters in the quantum Kähler moduli space. We focus on the case of (2,2) theories defined by abelian gauged linear sigma models (GLSM). We use the hemisphere partition function as a guide to find how B-branes split in the IR into components supported on Higgs, mixed and Coulomb branches: this generalizes the band restriction rule of Herbst-Hori-Page to anomalous models. As a central example, we work out in detail the case of GLSMs for Hirzebruch-Jung resolutions of cyclic surface singularities. In these non-compact models we explain how to compute and regularize the hemisphere partition function for a brane with compact support, and check that its Higgs branch component explicitly matches with the geometric central charge of an object in the derived category.

We develop geometric techniques for counting BPS states in five-dimensional gauge theories engineered by M theory on a toric Calabi–Yau threefold. The problem is approached by studying framed 3d–5d wall-crossing in the presence of a single M5 brane wrapping a special Lagrangian submanifold L. The spectrum of 3d–5d BPS states is encoded by the geometry of the manifold of vacua of the 3d–5d system, which further coincides with the mirror curve describing moduli of the Lagrangian brane. The information about the BPS spectrum is extracted from the geometry of the mirror curve by construction of a nonabelianization map for the exponential networks. For the simplest Calabi–Yau, C^3 we reproduce the count of 5d BPS states and match predictions of 3d tt∗ geometry for the count of 3d–5d BPS states. We comment on applications of our construction to the study of enumerative invariants of toric Calabi–Yau threefolds.

In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.

The authors describe the relationships between categories of B-branes in different phases of the non-Abelian gauged linear sigma model. The relationship is described explicitly for the model proposed by Hori and Tong with non-Abelian gauge group that connects two non-birational Calabi-Yau varieties studied by Rødland. A grade restriction rule for this model is derived using the hemisphere partition function and it is used to map B-type D-branes between the two Calabi-Yau varieties.

Bisch and Jones proposed the classification of planar algebras by simple generators and relations. They investigated with the second author the classification of planar algebras generated by 2-boxes. In this paper, we classify singly-generated Thurston-relation planar algebras, defined as subfactor planar algebras generated by a 3-box satisfying a relation proposed by Dylan Thurston. Our main result shows that such subfactor planar algebras are either the E6 subfactor planar algebras or belong to a two-parameter family of planar algebras arising from the representations of type A quantum groups. We introduce a new method for determining positivity of the Markov trace of planar algebras in this family.

We introduce a new notion of an angle between intermediate subfactors and prove various interesting properties of the angle and relate it to the Jones index. We prove a uniform 60 to 90 degree bound for the angle between minimal intermediate subfactors of a finite index irreducible subfactor. From this rigidity we can bound the number of minimal (or maximal) intermediate subfactors by the kissing number in geometry. As a consequence, the number of intermediate subfactors of an irreducible subfactor has at most exponential growth with respect to the Jones index. This answers a question of Longo’s published in 2003.

Quon language is a 3D picture language that we can apply to simulate mathematical concepts. We introduce the surface algebras as an extension of the notion of planar algebras to higher genus surface. We prove that there is a unique one-parameter extension. The 2D defects on the surfaces are quons, and surface tangles are transformations. We use quon language to simulate graphic states that appear in quantum information, and to simulate interesting quantities in modular tensor categories. This simulation relates the pictorial Fourier duality of surface tangles and the algebraic Fourier duality induced by the S matrix of the modular tensor category. The pictorial Fourier duality also coincides with the graphic duality on the sphere. For each pair of dual graphs, we obtain an algebraic identity related to the S matrix. These identities include well-known ones, such as the Verlinde formula; partially known ones, such as the 6j-symbol self-duality; and completely new ones.

We introduce block maps for subfactors and study their dynamic systems. We prove that the limit points of the dynamic system are positive multiples of biprojections and zero. For the \mathbb{Z}_2 case, the asymptotic phenomenon of the block map coincides with that of the 2D Ising model.The study of block maps requires a further development of our recent work on the Fourier analysis of subfactors.We generalize the notion of sum set estimates in additive combinatorics for subfactors and prove the exact inverse sum set theorem. Using this new method, we characterize the extremal pairs of Young's inequality for subfactors, as well as the extremal operators of the Hausdorff-Young inequality.

We investigate the Chern–Ricci flow, an evolution equation of Hermitian metrics generalizing the Kähler–Ricci flow, on elliptic bundles over a Riemann surface of genus greater than one. We show that, starting at any Gauduchon metric, the flow collapses the elliptic fibers and the metrics converge to the pullback of a Kähler–Einstein metric from the base. Some of our estimates are new even for the Kähler–Ricci flow. A consequence of our result is that, on every minimal non-Kähler surface of Kodaira dimension one, the Chern–Ricci flow converges in the sense of Gromov–Hausdorff to an orbifold Kähler–Einstein metric on a Riemann surface.

In this paper, we prove a sum set estimate and the exact sum set theorem for unimodular Kac algebras. Combining the characterization of minimizers of the Donoso–Stark uncertainty principle and the Hirschman–Beckner uncertainty principle, we characterize the extremal pairs of Young’s inequality and extremal operators of the Hausdorff–Young inequality for unimodular Kac algebras.

We introduce a pictorial approach to quantum information, called holographic software. Our software captures both algebraic and topological aspects of quantum networks. It yields a bi-directional dictionary to translate between a topological approach and an algebraic approach. Using our software, we give a topological simulation for quantum networks. The string Fourier transform (SFT) is our basic tool to transform product states into states with maximal entanglement entropy. We obtain a pictorial interpretation of Fourier transformation, of measurements, and of local transformations, including the n-qudit Pauli matrices and their representation by Jordan-Wigner transformations. We use our software to discover interesting new protocols for multipartite communication. In summary, we build a bridge linking the theory of planar para algebras with quantum information.

We state a conjecture for the formulas of the depth 4 low-weight rotational eigenvectors and their corresponding eigenvalues for the 3^G subfactor planar algebras. We prove the conjecture in the case when |G| is odd. To do so, we find an action of G on the reduced subfactor planar algebra at f^{(2)}, which is obtained from shading the planar algebra of the even half. We also show that this reduced subfactor planar algebra is a Yang-Baxter planar algebra.

In this paper, we show that any compact Kähler manifold homotopic to a compact Riemannian manifold with negative sectional curvature admits a Kähler–Einstein metric of general type. Moreover, we prove that, on a compact symplectic manifold X homotopic to a compact Riemannian manifold with negative sectional curvature, for any almost complex structure J compatible with the symplectic form, there is no non-constant J-holomorphic entire curve f:C→X.

We investigate the Kähler-Ricci flow on holomorphic fiber spaces whose generic fiber is a Calabi-Yau manifold. We establish uniform metric convergence to a metric on the base, away from the singular fibers, and show that the rescaled metrics on the fibers converge to Ricci-flat Kähler metrics. This strengthens previous work of Song-Tian and others. We obtain analogous results for degenerations of Ricci-flat Kähler metrics.

We present the recent work on the noncommutative Fourier transform for subfactors and locally compact quantum groups, a Survey.We give a short introduction to subfactors and locally compact quantum groups and their properties;the Hausdorff-Young inequality and its extremal functions;Young's inequality and its extremal pairs;uncertainty principles and its minimizers;a noncommutative sum set theorem.

In this paper, we prove that, a compact complex manifold $X$ admits a smooth Hermitian metric with positive (resp., negative) scalar curvature if and only if $K_X$ (resp., $K_X^{-1}$) is not pseudo-effective. On the contrary, we also show that on an arbitrary compact complex manifold $X$ with complex dimension $\geq 2$, there exist smooth Hermitian metrics with positive total scalar curvature, and one of the key ingredients in the proof relies on a recent solution to the Gauduchon conjecture by G. Székelyhidi, V. Tosatti, and B. Weinkove.

We extend two results about the ordinary continued fraction expansion to best simultaneous Diophantine approximations of vectors or matrices. The first is Levy-Khintchin Theorem about the almost sure growth rate of the denominators of the convergents. The second is a Theorem of Bosma, Hendrik and Wiedijk about the almost sure limit distribution of the sequence of products q_n d(q_n θ,Z) where the qn's are the denominators of the convergents associated with the real number θ by the ordinary continued fraction algorithm. Beside these two main results, we show that when d≥2, for almost all vectors θ∈R^d, lim inf_{n→∞} q_{n+k} d(q_n θ,Z^d)=0 for all positive integers k, where (q_n)_{n∈N} is the sequence of best approximation denominators of θ.

In this paper, we developed a feasible and efficient deep-learning-based framework to combine the United States (US) natality data for the last five decades, with changing variables and factors, into a consistent database. We constructed a graph based on the property and elements of databases, including variables, and conducted a graph convolutional network (GCN) to learn the embeddings of variables on the constructed graph, where the learned embeddings implied the similarity of variables. Specifically, we devised a loss function with a slack margin and a banlist mechanism (for a random walk) to learn the desired structure (two nodes sharing more information were more similar to each other.), and developed an active learning mechanism to conduct the harmonization. Toward a total of 9,321 variables from 49 databases (i.e., 783 stemmed variables, from 1970 to 2018), we applied our model iteratively together with human reviews for four rounds, then obtained 323 hyperchains of variables. During the harmonization, the first round of our model achieved recall and precision of 87.56%, 57.70%, respectively. Our harmonized graph neural network (HGNN) method provides a feasible and efficient way to connect relevant databases at a meta-level. Adapting to the database's property and characteristics, HGNN can learn patterns globally, which is powerful to discover the similarity between variables among databases. Our proposed method provides an effective way to reduce the manual effort in database harmonization and integration of fragmented data into useful databases for future research.

We propose a renormalization group flow with emergent supersymmetry in two dimensions from a non-Lagrangian theory. The ultraviolet theory does not have supersymmetry while the infrared theory does. The flow is constrained analytically by topological defect lines including a new spin constraint, and further supported by numerics from the truncated conformal space approach.

We present a one-parameter family of large N disordered models, with and without supersymmetry, in three spacetime dimensions. They interpolate from the critical large N vector model dual to a classical higher spin theory toward a theory with a classical string dual. We analyze the spectrum and operator product expansion data of the theories. While the supersymmetric model is always well-behaved the nonsupersymmetric model is unitary only over a small parameter range. We offer some speculations on the origin of strings from the higher spins.