Search:
Match:
2 results
Research Paper#Theoretical Physics, Conformal Field Theory, Gauge Theory, AGT Correspondence🔬 ResearchAnalyzed: Jan 3, 2026 16:56

5D AGT Conjecture for Circular Quivers Explored

Published:Dec 29, 2025 21:36
1 min read
ArXiv

Analysis

This paper investigates the AGT correspondence, a relationship between conformal field theory and gauge theory, specifically in the context of 5-dimensional circular quiver gauge theories. It extends existing approaches using free-field formalism and integral representations to analyze both generic and degenerate conformal blocks on elliptic surfaces. The key contribution is the verification of equivalence between these conformal blocks and instanton partition functions and defect partition functions (Shiraishi functions) in the 5D gauge theory. This work provides a new perspective on deriving equations for Shiraishi functions.
Reference

“The paper checks equivalence with instanton partition function of a 5d circular quiver gauge theory...and with partition function of a defect in the same theory, also known as the Shiraishi function.”

PermalinkArXiv
Research Paper#Gradual Typing, Compiler Design🔬 ResearchAnalyzed: Jan 3, 2026 19:44

Evidence-Based Compiler for Gradual Typing

Published:Dec 27, 2025 19:25
1 min read
ArXiv

Analysis

This paper addresses the challenge of efficiently implementing gradual typing, particularly in languages with structural types. It investigates an evidence-based approach, contrasting it with the more common coercion-based methods. The research is significant because it explores a different implementation strategy for gradual typing, potentially opening doors to more efficient and stable compilers, and enabling the implementation of advanced gradual typing disciplines derived from Abstracting Gradual Typing (AGT). The empirical evaluation on the Grift benchmark suite is crucial for validating the approach.
Reference

“The results show that an evidence-based compiler can be competitive with, and even faster than, a coercion-based compiler, exhibiting more stability across configurations on the static-to-dynamic spectrum.”

PermalinkArXiv