Daily Papers

Let F in S_{k_1}(Gamma^{(2)}(N_1)) and G in S_{k_2}(Gamma^{(2)}(N_2)) be two Siegel cusp forms over the congruence subgroups Gamma^{(2)}(N_1) and Gamma^{(2)}(N_2) respectively. Assume that they are Hecke eigenforms in different eigenspaces and satisfy the Generalized Ramanujan Conjecture. Let lambda_F(p) denote the eigenvalue of F with respect to the Hecke operator T(p). In this article, we compute a lower bound for the density of the set of primes, { p : lambda_F(p) lambda_G(p) < 0 }.

We identify seven new 192-periodic infinite families of elements in the 2-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after T(2)- as well as K(2)-localization. We also obtain new information about 2-torsion and 2-divisibility of some of the previously known 192-periodic infinite families in the stable stems.

Appell functions are a large class of multi-variable quasi-elliptic functions, which are also instances of higher depth mock modular forms. A central aspect of these functions is their non-holomorphic modular completion. Our previous work developed Appell functions for a general positive definite lattice Λ, and expressed the non-holomorphic completion in terms of the generalized error functions M_P, which are integrals over a P-dimensional hyperplane in Λotimes C. In this sequel, we express M_P as a P-dimensional iterated integral of variables w_jin H, such that the completion of the Appell function takes the form of an iterated Eichler integral of modular forms. We apply this to the case of the root lattice of the A_N Lie algebra, which is of particular interest because of their appearance in partition functions of topological twisted Yang-Mills theories.

We define R_l^*(n) as the number of overpartitions of n in which non-overlined parts are not divisible by l. In a recent work, Nath, Saikia, and the second author established several families of congruences for R_l^*(n), with particular focus on the cases l=6 and l=8. In the concluding remarks of their paper, they conjectured that R_6^*(n) satisfies an infinite family of congruences modulo 128. In this paper, we confirm their conjectures using elementary methods. Additionally, we provide elementary proofs of two congruences for R_6^*(n) previously proven via the machinery of modular forms by Alanazi, Munagi, and Saikia.

In 2016, Viazovska famously solved the sphere packing problem in dimension 8, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified, with the final stages of the verification done by Math, Inc.'s autoformalization model 'Gauss'. We discuss the techniques used to achieve this milestone, reflect on the unique collaboration between humans and Gauss, and discuss project objectives that remain.

Nowadays, neural networks act as a synonym for artificial intelligence. Present neural network models, although remarkably powerful, are inefficient both in terms of data and energy. Several alternative forms of neural networks have been proposed to address some of these problems. Specifically, spiking neural networks are suitable for efficient hardware implementations. However, effective learning algorithms for spiking networks remain elusive, although it is suspected that effective plasticity mechanisms could alleviate the problem of data efficiency. Here, we present a new framework for spiking neural networks - Spark - built upon the idea of modular design, from simple components to entire models. The aim of this framework is to provide an efficient and streamlined pipeline for spiking neural networks. We showcase this framework by solving the sparse-reward cartpole problem with simple plasticity mechanisms. We hope that a framework compatible with traditional ML pipelines may accelerate research in the area, specifically for continuous and unbatched learning, akin to the one animals exhibit.

We present Modular interactive VOS (MiVOS) framework which decouples interaction-to-mask and mask propagation, allowing for higher generalizability and better performance. Trained separately, the interaction module converts user interactions to an object mask, which is then temporally propagated by our propagation module using a novel top-k filtering strategy in reading the space-time memory. To effectively take the user's intent into account, a novel difference-aware module is proposed to learn how to properly fuse the masks before and after each interaction, which are aligned with the target frames by employing the space-time memory. We evaluate our method both qualitatively and quantitatively with different forms of user interactions (e.g., scribbles, clicks) on DAVIS to show that our method outperforms current state-of-the-art algorithms while requiring fewer frame interactions, with the additional advantage in generalizing to different types of user interactions. We contribute a large-scale synthetic VOS dataset with pixel-accurate segmentation of 4.8M frames to accompany our source codes to facilitate future research.

The notable success of large language models (LLMs) has sparked an upsurge in building language agents to complete various complex tasks. We present AMOR, an agent framework based on open-source LLMs, which reasons with external knowledge bases and adapts to specific domains through human supervision to the reasoning process. AMOR builds reasoning logic over a finite state machine (FSM) that solves problems through autonomous executions and transitions over disentangled modules. This allows humans to provide direct feedback to the individual modules, and thus naturally forms process supervision. Based on this reasoning and feedback framework, we develop AMOR through two-stage fine-tuning: warm-up and adaptation. The former fine-tunes the LLM with examples automatically constructed from various public datasets, enabling AMOR to generalize across different knowledge environments, while the latter tailors AMOR to specific domains using process feedback. Extensive experiments across multiple domains demonstrate the advantage of AMOR to strong baselines, thanks to its FSM-based reasoning and process feedback mechanism. The code and data are publicly available at https://github.com/JianGuanTHU/AMOR.

We investigate the unflavoured Schur indices of class mathcal S theories of modest rank, and in the case of N=4 super Yang-Mills theory with special unitary gauge group of somewhat more general rank, with an eye towards their modular properties. We find closed form expressions for many of these theories in terms of quasimodular forms of level one or two, with the curious feature that in general they are sums of quasimodular forms of different weights. For type a_1 theories, the index can be fixed by taking a simple Ansatz for the family of quasimodular forms appearing in the expansion of this type and demanding that the result be sufficiently regular as qto0. For higher rank cases, an equally simple construction is lacking, but we nevertheless find that these indices can be expressed in terms of mixed-weight quasimodular forms.

Handling ambiguity and underspecification is an important challenge in natural language interfaces, particularly for tasks like text-to-SQL semantic parsing. We propose a modular approach that resolves ambiguity using natural language interpretations before mapping these to logical forms (e.g., SQL queries). Although LLMs excel at parsing unambiguous utterances, they show strong biases for ambiguous ones, typically predicting only preferred interpretations. We constructively exploit this bias to generate an initial set of preferred disambiguations and then apply a specialized infilling model to identify and generate missing interpretations. To train the infilling model, we introduce an annotation method that uses SQL execution to validate different meanings. Our approach improves interpretation coverage and generalizes across datasets with different annotation styles, database structures, and ambiguity types.

At leading order in the genus expansion the ETH matrix model for DSSYK reproduces its correlators by construction, while its higher-genus corrections are conjectured to capture higher-topology contributions in the dual sine-dilaton gravity -- a correspondence established so far only for the disk and the wormhole. At fixed genus the correlators are built from discrete volumes N_{g,n}, polynomial in q-deformed zeta values ζ_q(2k) with q=e^{-λ}, λ being the DSSYK coupling. These lie in the ring of quasimodular forms generated by the Eisenstein series E_2,E_4,E_6, whose S-duality yields an exact closed form for the leading non-perturbative correction as λto0, controlled by widetilde q=e^{-4π^2/λ}. Known at disk level, this scale is shown here to govern the fixed-genus, higher-boundary amplitudes as well. We show that the term linear in widetilde q, at leading order in λ, is captured entirely by the q-deformed Weil--Petersson volumes, and reduces to a finite sum of intersection numbers of κ-classes on the moduli space mathcal M_{g,n} of stable curves, computable without repeating the topological recursion that produced the N_{g,n}. We tabulate it for every (g,n) whose q-deformed volume is known in closed form, and extend it to (3,1),(3,2),(4,1), where none is available. The construction is not restricted to leading order: we work out O(widetilde q^2) for the same cases.

We establish a unified framework for understanding the results on the Weil quadratic form obtained by Yoshida (1992), Bombieri (2001, 2003), Connes--Consani (2023), and Connes--Consani--Moscovici (2025+) from the perspective of the screw function introduced in Suzuki (2023). An advantage of the approach via the screw function is that it provides a method to study the Weil quadratic form, which is originally defined in terms of distributions, by means of continuous functions. Based on this framework, we formulate a conjecture stating that a self-adjoint operator whose eigenvalues are the imaginary parts of the nontrivial zeros of the Riemann zeta function can be obtained as the limit, as a to infty, of self-adjoint operators arising from nonlocal realizations of the first-order differential operator on the finite interval [-a,a]. All these results are obtained without assuming the Riemann Hypothesis. This conjecture may be compared with the limit formula for the Riemann zeta function expressed in terms of zeta-regularized products proposed by Connes, Consani, and Moscovici, and it sheds new light on the spectral-theoretic interpretation of the nontrivial zeros of the Riemann zeta function.

The solution of Shareshian-Wachs conjecture by Brosnan-Chow and Guay-Paquet tied the graded chromatic symmetric functions on indifference graphs (or unit interval graphs) and the cohomology of regular semisimple Hessenberg varieties with the dot action. A similar result holds between unicellular LLT polynomials and twins of regular semisimple Hessenberg varieties. A recent result by Abreu-Nigro enabled us to prove these results by showing the modular law for the geometrical objects, and this is indeed done by Precup-Sommers and Kiem-Lee. In this paper, we give elementary and simpler proofs to the modular law through GKM theory.

Recent years have seen a surprising connection between the physics of scattering amplitudes and a class of mathematical objects--the positive Grassmannian, positive loop Grassmannians, tree and loop Amplituhedra--which have been loosely referred to as "positive geometries". The connection between the geometry and physics is provided by a unique differential form canonically determined by the property of having logarithmic singularities (only) on all the boundaries of the space, with residues on each boundary given by the canonical form on that boundary. In this paper we initiate an exploration of "positive geometries" and "canonical forms" as objects of study in their own right in a more general mathematical setting. We give a precise definition of positive geometries and canonical forms, introduce general methods for finding forms for more complicated positive geometries from simpler ones, and present numerous examples of positive geometries in projective spaces, Grassmannians, and toric, cluster and flag varieties. We also illustrate a number of strategies for computing canonical forms which yield interesting representations for the forms associated with wide classes of positive geometries, ranging from the simplest Amplituhedra to new expressions for the volume of arbitrary convex polytopes.

Incorporating modular designs into neural networks demonstrates superior out-of-generalization, learning efficiency, etc. Existing modular neural networks are generally explicit because their modular architectures are pre-defined, and individual modules are expected to implement distinct functions. Conversely, recent works reveal that there exist implicit modular structures in standard pre-trained transformers, namely Emergent Modularity. They indicate that such modular structures exhibit during the early pre-training phase and are totally spontaneous. However, most transformers are still treated as monolithic models with their modular natures underutilized. Therefore, given the excellent properties of explicit modular architecture, we explore whether and how dense pre-trained transformers can benefit from emergent modular structures. To study this question, we construct Emergent Mixture-of-Experts (EMoE). Without introducing additional parameters, EMoE can be seen as the modular counterpart of the original model and can be effortlessly incorporated into downstream tuning. Extensive experiments (we tune 1785 models) on various downstream tasks (vision and language) and models (22M to1.5B) demonstrate that EMoE effectively boosts in-domain and out-of-domain generalization abilities. Further analysis and ablation study suggest that EMoE mitigates negative knowledge transfer and is robust to various configurations. Code is available at https://github.com/qiuzh20/EMoE

The partition function p(n), which counts the number of partitions of a positive integer n, is widely studied. Here, we study partition functions p_S(n) that count partitions of n into distinct parts satisfying certain congruence conditions. A shifted partition identity is an identity of the form p_{S_1}(n-H) = p_{S_2}(n) for all n in some arithmetic progression. Several identities of this type have been discovered, including two infinite families found by Alladi. In this paper, we use the theory of modular functions to determine the necessary and sufficient conditions for such an identity to exist. In addition, for two specific cases, we extend Alladi's theorem to other arithmetic progressions.

We develop a modular wall crossing theory for quasimaps to a projective variety, allowing independent variation of the boundary coefficients and the quasimap weight. Building on the K-stability of quasimaps introduced by Hashizume and the first author, we construct projective moduli spaces in the stable, Calabi--Yau, and log Fano regimes, together with wall crossing morphisms. A central construction is the moduli theory of boundary polarized Calabi--Yau quasimaps, which retains an ample polarization at the numerically trivial locus and allows comparison with suitable perturbations toward the stable and log Fano regions. The stable theory applies in arbitrary genus, while the comparisons through the Calabi--Yau locus concern genus zero. For degree-one boundary divisors, the resulting framework relates weighted stable maps and quasimaps to Hassett spaces and GIT quotients of weighted points on mathbb P^1. In a companion paper, we apply this framework to give a modular interpolation between Miranda's GIT compactification of rational elliptic surfaces and the Baily--Borel compactification of an eight-dimensional ball quotient.

We compute the elliptic genera of two-dimensional N=(2,2) and N=(0,2) gauged linear sigma models via supersymmetric localization, for rank-one gauge groups. The elliptic genus is expressed as a sum over residues of a meromorphic function whose argument is the holonomy of the gauge field along both the spatial and the temporal directions of the torus. We illustrate our formulas by a few examples including the quintic Calabi-Yau, N=(2,2) SU(2) and O(2) gauge theories coupled to N fundamental chiral multiplets, and a geometric N=(0,2) model.

We report on a new, simple, modular, and flexible approach for automated generation of illustrations for (readable) synthetic geometry proofs. The underlying proofs are generated using the Larus automated prover for coherent logic, and corresponding illustrations are generated in the GCLC language. Animated illustrations are also supported.

Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves, for the first we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently, Yekutieli discussed a connection between these two problems, and described the group structure of Pythagorean triples and the number of triples for a given hypotenuse. In arXiv:2112.03663 we generalized these methods and results to Pell's equation. We find a similar group structure and count on the number of solutions for a given z to x^2 + Dy^2 = z^2 when D is 1 or 2 modulo 4 and the class group of Q[-D] is a free Z_2 module, which always happens if the class number is at most 2. In this paper, we discuss the main results of arXiv:2112.03663 using some concrete examples in the case of D=105.

We study theories of type D_4 in class-S, with nonabelian outer-automorphism twists around various cycles of the punctured Riemann surface C. We propose an extension of previous formulæ for the superconformal index to cover this case and classify the SCFTs corresponding to fixtures (3-punctured spheres). We then go on to study families of SCFTs corresponding to once-punctured tori and 4-punctured spheres. These exhibit new behaviours, not seen in previous investigations. In particular, the generic theory with 4 punctures on the sphere from non-commuting Z_2 twisted sectors has six distinct weakly-coupled descriptions.

We consider four dimensional CHL models with sixteen spacetime supersymmetries obtained from orbifolds of type IIA superstring on K3 x T^2 by a Z_N symmetry acting (possibly) non-geometrically on K3. We show that most of these models (in particular, for geometric symmetries) are self-dual under a weak-strong duality acting on the heterotic axio-dilaton modulus S by a "Fricke involution" S --> -1/NS. This is a novel symmetry of CHL models that lies outside of the standard SL(2,Z)-symmetry of the parent theory, heterotic strings on T^6. For self-dual models this implies that the lattice of purely electric charges is N-modular, i.e. isometric to its dual up to a rescaling of its quadratic form by N. We verify this prediction by determining the lattices of electric and magnetic charges in all relevant examples. We also calculate certain BPS-saturated couplings and verify that they are invariant under the Fricke S-duality. For CHL models that are not self-dual, the strong coupling limit is dual to type IIA compactified on T^6/Z_N, for some Z_N-symmetry preserving half of the spacetime supersymmetries.

Ap\'{e}ry-type (inverse) binomial series have appeared prominently in the calculations of Feynman integrals in recent years. In our previous work, we showed that a few large classes of the non-alternating Ap\'ery-type (inverse) central binomial series can be evaluated using colored multiple zeta values of level four (i.e., special values of multiple polylogarithms at fourth roots of unity) by expressing them in terms of iterated integrals. In this sequel, we shall prove that for several classes of the alternating versions we need to raise the level to eight. Our main idea is to adopt hyperbolic trigonometric 1-forms to replace the ordinary trigonometric ones used in the non-alternating setting.

Every four-dimensional {cal N}=2 superconformal field theory comes equipped with an intricate algebraic invariant, the associated vertex operator algebra. The relationships between this invariant and more conventional protected quantities in the same theories have yet to be completely understood. In this work, we aim to characterize the connection between the Higgs branch of the moduli space of vacua (as an algebraic geometric entity) and the associated vertex operator algebra. Ultimately our proposal is simple, but its correctness requires the existence of a number of nontrivial null vectors in the vacuum Verma module of the vertex operator algebra. Of particular interest is one such null vector whose presence suggests that the Schur index of any {cal N}=2 SCFT should obey a finite order modular differential equation. By way of the "high temperature" limit of the superconformal index, this allows the Weyl anomaly coefficient a to be reinterpreted in terms of the representation theory of the associated vertex operator algebra. We illustrate these ideas in a number of examples including a series of rank-one theories associated with the "Deligne-Cvitanović exceptional series" of simple Lie algebras, several families of Argyres-Douglas theories, an assortment of class {cal S} theories, and {cal N}=4 super Yang-Mills with su(n) gauge group for small-to-moderate values of n.

We study four-point correlation functions of degenerated fields in the NS sector in Super-Liouville field theory. We find integral expressions for these functions using the BPZ equation, and study some superconformal properties of these solutions. Finally, we present the general form for three-point correlation functions.

For a finite group, it is interesting to determine when two ordinary irreducible representations have the same p-modular reduction; that is, when two rows of the decomposition matrix in characteristic p are equal, or equivalently when the corresponding p-modular Brauer characters are the same. We complete this task for the double covers of the symmetric group when p=2, by determining when the 2-modular reduction of an irreducible spin representation coincides with a 2-modular Specht module. In fact, we obtain a more general result: we determine when an irreducible spin representation has 2-modular Brauer character proportional to that of a Specht module. In the course of the proof, we use induction and restriction functors to construct a function on generalised characters which has the effect of swapping runners in abacus displays for the labelling partitions.

We study 4D N=2 superconformal field theories that arise as the compactification of the six-dimensional (2,0) theory of type E_6 on a punctured Riemann surface in the presence of Z_2 outer-automorphism twists. We explicitly carry out the classification of these theories in terms of three-punctured spheres and cylinders, and provide tables of properties of the Z_2-twisted punctures. An expression is given for the superconformal index of a fixture with twisted punctures of type E_6, which we use to check our identifications. Several of our fixtures have Higgs branches which are isomorphic to instanton moduli spaces, and we find that S-dualities involving these fixtures imply interesting isomorphisms between hyperKähler quotients of these spaces. Additionally, we find families of fixtures for which the Sommers-Achar group, which was previously a Coulomb branch concept, acts non-trivially on the Higgs branch operators.

We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields F_p. It is shown that, for a typical surface of this form, every non-trivial orbit has size divisible by p. This extends a theorem of W.Y. Chen from the Markoff surface itself to others in this family. The proof closely follows and elaborates on a recent argument of D.E. Martin. We expect that there is just one orbit generically. For some special parameters, we prove that there are at least two or four orbits. Cayley's cubic surface plays a role in parametrising the exceptional cases and dictating the number of solutions mod p.

Canonical threefold singularities in M-theory and Type IIB string theory give rise to superconformal field theories (SCFTs) in 5d and 4d, respectively. In this paper, we study canonical hypersurface singularities whose resolutions contain residual terminal singularities and/or 3-cycles. We focus on a certain class of `trinion' singularities which exhibit these properties. In Type IIB, they give rise to 4d N=2 SCFTs that we call D_p^b(G)-trinions, which are marginal gaugings of three SCFTs with G flavor symmetry. In order to understand the 5d physics of these trinion singularities in M-theory, we reduce these 4d and 5d SCFTs to 3d N=4 theories, thus determining the electric and magnetic quivers (or, more generally, quiverines). In M-theory, residual terminal singularities give rise to free sectors of massless hypermultiplets, which often are discretely gauged. These free sectors appear as `ugly' components of the magnetic quiver of the 5d SCFT. The 3-cycles in the crepant resolution also give rise to free hypermultiplets, but their physics is more subtle, and their presence renders the magnetic quiver `bad'. We propose a way to redeem the badness of these quivers using a class S realization. We also discover new S-dualities between different D_p^b(G)-trinions. For instance, a certain E_8 gauging of the E_8 Minahan-Nemeschansky theory is S-dual to an E_8-shaped Lagrangian quiver SCFT.

An open-source C++ framework for discovering fast matrix multiplication schemes using the flip graph approach is presented. The framework supports multiple coefficient rings -- binary (Z_2), modular ternary (Z_3) and integer ternary (Z_T = {-1,0,1}) -- and implements both fixed-dimension and meta-dimensional search operators. Using efficient bit-level encoding of coefficient vectors and OpenMP parallelism, the tools enable large-scale exploration on commodity hardware. The study covers 680 schemes ranging from (2 times 2 times 2) to (16 times 16 times 16), with 276 schemes now in Z_T coefficients and 117 in integer coefficients. With this framework, the multiplicative complexity (rank) is improved for 79 matrix multiplication schemes. Notably, a new 4 times 4 times 10 scheme requiring only 115 multiplications is discovered, achieving ωapprox 2.80478 and beating Strassen's exponent for this specific size. Additionally, 93 schemes are rediscovered in ternary coefficients that were previously known only over rationals or integers, and 68 schemes in integer coefficients that previously required fractions. All tools and discovered schemes are made publicly available to enable reproducible research.

There are six orientable, compact, flat 3-manifolds that can occur as cusp cross-sections of hyperbolic 4-manifolds. This paper provides criteria for exactly when a given commensurability class of arithmetic hyperbolic 4-manifolds contains a representative with a given cusp type. In particular, for three of the six cusp types, we provide infinitely many examples of commensurability classes that contain no manifolds with cusps of the given type; no such examples were previously known for any cusp type.

We address the problem of determining the Hausdorff dimension of sets consisting of complex irrationals whose complex continued fraction digits satisfy prescribed restrictions and growth conditions. For the Hurwitz continued fraction, we confirm Hirst's conjecture, as a complex analogue of the result of Wang and Wu [Bull. Lond. Math. Soc. {\bf 40} (2008), no. 1, 18--22] for the regular continued fraction. We also prove a complex analogue of the second-named author's result on the Hausdorff dimension of sets with restricted slowly growing digits [Proc. Amer. Math. Soc. {\bf 151} (2023), no. 9, 3645--3653]. To these ends, we exploit an infinite conformal iterated function system associated with the Hurwitz continued fraction.

We propose a quark flavor model based on modular S'_4 with a general CP symmetry. CP violation in the quark sector is entirely realized by the modulus langle τrangle. We show that the canonical normalization induced by the Kähler metric plays a crucial role in reproducing the observed hierarchies, while maintaining coupling constants of order O(1). The minimal model achieves a great fit to the quark sector data, which we take as the PDG 2024 data extrapolated to the GUT scale.

For a real quadratic field Q(d), we study the norm-form energy N = S_ζ^2 - d cdot S_L^2, where S_ζ and S_L are Lorentzian-weighted zero sums with w(ρ) = 2/(1/4 + γ^2). We prove three main results. (1) Spacelike spectral data: N < 0 unconditionally for all squarefree d > 1, as a consequence of a low-lying zero dominance theorem proved via explicit zero-counting. (2) Effective density bound: at each verified truncation level M, dens{N > 0} leq 2|f_{S_L^{(M)}}|_infty cdot (W_1(ζ)/d + ε_M), established unconditionally via Jacobi--Anger resonance analysis. (3) Exact asymptotic: under the computationally verified hypothesis that the infinite resonance lattice Λ_infty has finite rank (verified for M leq 20, where rank = 0), the sharp asymptotic dens{N > 0} = C(d)/d + o(1/d) holds. For d = 5, C(5) = 2,f_{S_L}(0)cdotE[|S_ζ|] = 0.1191; the constant depends on d through the zeros of L(s,χ_d), and C(d) = O(1/log d) as d to infty.

We study a set of four-dimensional N=2 superconformal field theories (SCFTs) widehatΓ(G) labeled by a pair of simply-laced Lie groups Γ and G. They are constructed out of gauging a number of D_p(G) and (G, G) conformal matter SCFTs; therefore they do not have Lagrangian descriptions in general. For Γ= D_4, E_6, E_7, E_8 and some special choices of G, the resulting theories have identical central charges (a=c) without taking any large N limit. Moreover, we find that the Schur indices for such theories can be written in terms of that of N=4 super Yang--Mills theory upon rescaling fugacities. Especially, we find that the Schur index of D_4(SU(N)) theory for N odd is written in terms of MacMahon's generalized sum-of-divisor function, which is quasi-modular. For generic choices of Γ and G, it can be regarded as a generalization of the affine quiver gauge theory obtained from D3-branes probing an ALE singularity of type Γ. We also comment on a tantalizing connection regarding the theories labeled by Γ in the Deligne--Cvitanović exceptional series.