Algorithmic Dualization of Unitary Circular Quivers
Source: arXiv:2607.01327 · Published 2026-07-01 · By Riccardo Comi, Chiung Hwang, Fabio Marino
TL;DR
This paper extends the previously developed dualization algorithm for 3d N=4 linear unitary quivers to circular quivers, which have a distinct global topology requiring new ingredients. The authors introduce new QFT blocks—baryonic and topological—and corresponding SL(2,Z) duality moves acting on these blocks, enabling the systematic construction of the full SL(2,Z) duality web of good circular quivers. They demonstrate this framework recovers known mirror symmetry by exchanging partitions encoding the quiver data. The treatment of bad circular quivers is also addressed, distinguishing local badness (underbalanced gauge nodes) from new global badness phenomena intrinsic to circular topology, related to monopole operators violating unitarity. For globally bad quivers, the algorithm produces magnetic and electric dual frames characterized by abelian circular quivers weighted by Dirac delta functions reflecting operator VEVs. Matching Higgs and Coulomb branch indices further supports these dualities and reveals a refined relation to ADHM quivers flowing to N=8 SCFTs. Overall, the paper provides a rigorous, field-theoretic algorithmic framework to analyze and generate dualities for a wide class of 3d N=4 circular quivers, significantly extending prior linear quiver results.
Key findings
- Introduced baryonic and topological QFT blocks with explicit SL(2,Z) duality moves, enabling extension of the dualization algorithm to circular quivers.
- Showed that good circular quivers are encoded by two partitions ρ and σ of an integer N and a node rank NL; mirror symmetry exchanges ρ and σ while fixing NL.
- Developed a cutting and closing procedure to linearize circular quivers for algorithmic dualization, preserving all physical data.
- Distinguished 'local badness' from 'global badness' in circular quivers; global badness arises from circular topology and monopole operators carrying flux across all nodes violating unitarity.
- For locally bad circular quivers, adapted the electric dualization algorithm locally to yield sums of good circular quivers plus singlets realized as Dirac delta functions in partition functions, reflecting operator VEVs fixing FI parameters.
- For globally bad circular quivers without flavors and uniform gauge ranks, constructed magnetic dual frames as SQED theories weighted by Dirac delta functions; electric dual frames become abelian circular quivers with variable length.
- Matched Higgs branch index of globally bad circular quivers precisely with Coulomb branch index of proposed magnetic duals, showing structures reminiscent of permutation-group gauging.
- Refined relation between globally bad circular quivers and ADHM quivers via index computations, indicating flow to same N=8 infrared SCFT fixed point up to decoupled operators.
Methodology — deep read
Threat Model & Assumptions: The authors assume standard field-theoretic infrared dualities in 3d N=4 supersymmetric unitary gauge theories. The adversary is the subtlety arising from circular topology and badness conditions causing operator decoupling or unitarity violations. The algorithm assumes knowledge of brane realizations and S-duality symmetries (SL(2,Z)).
Data: The considered theories are 3d N=4 circular quivers with unitary gauge groups, described by gauge ranks Ni and flavor numbers Fi across L nodes. The theories are encoded by two partitions ρ, σ of an integer N (related to total flavor content) and a chosen special node rank NL.
Architecture / Algorithm: The core algorithm extends the prior linear quiver dualization algorithm to circular quivers by introducing two new QFT blocks: baryonic block Bbar and topological block Btop. These blocks account for baryonic U(1) and diagonal topological symmetry parameters and have defined actions under the full SL(2,Z) duality group, including S, T, and T T generators. The algorithm involves:
- Cutting open the circular quiver at a special node to produce a linear quiver.
- Decomposing the linear quiver into standard QFT blocks plus new baryonic and topological blocks.
- Applying local basic duality moves derived from Aharony duality on each QFT block.
- Gluing the dualized blocks back and performing Hanany–Witten (HW) moves to Higgs flavor and eliminate asymmetric S-walls signaling operator VEVs.
- Closing the linear quiver back to a circular quiver.
Training Regime / Computational Details: Implementation uses the 3d supersymmetric partition function on the squashed three-sphere S^3_b with mass and FI parameters, employing known special function identities (double sine functions) to track exact duality maps. Explicit examples (mirror pairs, SL(2,Z) trialities, S-folds, SQCD with tensors) illustrate the procedure in detail.
Evaluation Protocol: Duality consistency is checked by matching quiver data, superconformal indices, and partition function identities. In the globally bad case, the Higgs branch index is precisely matched to the Coulomb branch index of magnetic dual frames, providing nontrivial evidence. The structure under permutation-group gauging is observed in indices.
Reproducibility: The paper provides precise formulas for partition functions and duality moves, with detailed appendices. The field-theoretic definitions of the new blocks and proofs of duality identities (e.g. equations (3.7)–(3.16)) are included. Code or explicit frozen weights are not mentioned, but the setup relies on well-established special function technology and prior linear quiver algorithms.
Example End-to-End: For the mirror pair example (Figures 5 and 6), the quiver is cut open at a minimal gauge rank node, decomposed into QFT blocks plus baryonic and topological blocks encoding FI and baryonic charges. These blocks undergo dualization via basic moves, gluing and Hanany–Witten moves remove operator VEV asymmetries, and the linear quiver is closed back. The resulting dual quiver corresponds exactly to the known mirror, with parameters correctly mapped and verified by the partition function identity.
Technical innovations
- Introduction of baryonic and topological QFT blocks capturing U(1)_B baryonic and diagonal topological symmetries specific to circular quivers.
- Definition of new SL(2,Z) duality moves acting on these blocks, extending the local basic duality moves from linear quivers and enabling the construction of the full duality web.
- Algorithmic procedure for cutting open, dualizing, and reclosing circular quivers, preserving all physical data and capturing global constraints invisible in purely local linear quiver analyses.
- Distinction and systematic treatment of local versus global badness in circular quivers, including novel magnetic/electric dual frames for globally bad quivers and interpretation in terms of abelian circular quivers weighted by Dirac delta function VEV contributions.
Baselines vs proposed
- Standard linear quiver dualization algorithm: demonstrated that extending with new baryonic/topological blocks recovers 3d mirror symmetry and full SL(2,Z) duality (e.g. good circular quivers) with exact partition function identity confirmations.
- Local badness handling via electric dualization algorithm applied per node yields sums over good circular quivers versus no prior systematic method for circular quivers.
- Globally bad circular quiver dual frames as abelian circular quivers weighted by delta functions extend previous magnetic dual frames from linear quivers.
- Index matching: Higgs branch index of globally bad circular quivers equals Coulomb branch index of corresponding magnetic dual frames, refining prior understanding and linking to ADHM quivers.
Limitations
- The framework primarily addresses 3d N=4 unitary gauge groups; non-unitary or lower supersymmetry extensions are not treated.
- No explicit numerical or large-scale computational experiments are reported; results are demonstrated on select examples.
- The algorithm relies on a choice of the 'special' node for cutting, which may not be unique and requires conventions; multiple equivalent partitions may encode the same quiver.
- Handling of bad quivers is more involved and sometimes results in sums over frames; the physical interpretation and operator content of these sums could be further clarified.
- The treatment of generic quivers with simultaneous local and global badness remains brief and could be expanded in future work.
- While partition function identities strongly support dualities, further checks such as correlation functions or lattice discretizations are absent.
Open questions / follow-ons
- Can the algorithm be generalized to include quivers with orthogonal or symplectic gauge groups or other gauge algebras?
- How does the presence of Chern-Simons terms or lower amounts of supersymmetry affect the dualization algorithm and new QFT blocks?
- What is the detailed operator interpretation and IR dynamics of the multiple-frame sum representations arising in bad circular quivers?
- Can this framework be extended to non-Lagrangian 3d SCFTs or to incorporate boundary conditions and defects systematically?
Why it matters for bot defense
From a bot-defense or CAPTCHA practitioner perspective, this work exemplifies how deep structural symmetries and algorithmic decompositions can rigorously generate equivalences between complex quantum field theories despite differing topologies. The general approach of decomposing global structures into local blocks plus special global ingredients parallels how layered defenses may combine local heuristics with global constraint checks. The distinction between local and global forms of 'badness' in circular quiver theories may analogously inform detection strategies distinguishing local anomalies from globally correlated bot behavior. Although technical details operate far from direct bot defense, the methodology of algorithmically constructing and verifying dual descriptions through partition functions and indices offers a principled template for building provably sound transformations or validations in complex systems, an underpinning concept relevant to cryptographic CAPTCHA challenges or robust bot detection schemes.
Cite
@article{arxiv2607_01327,
title={ Algorithmic Dualization of Unitary Circular Quivers },
author={ Riccardo Comi and Chiung Hwang and Fabio Marino },
journal={arXiv preprint arXiv:2607.01327},
year={ 2026 },
url={https://arxiv.org/abs/2607.01327}
}