Results 1 to 10 of about 12,509 (219)
Nonrelativistic Dirac fermions on the torus
Journal of High Energy Physics, 2023 Two dimensional conformal field theories have been extensively studied in the past. When considered on the torus, they are strongly constrained by modular invariance. However, introducing relevant deformations or chemical potentials pushes these theories
Jeremías Aguilera-Damia +2 more
doaj +1 more source
Interpolation in local theory extensions [PDF]
Logical Methods in Computer Science, 2008 In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the base theory as
Viorica Sofronie-Stokkermans
doaj +1 more source
The Existence of pblocks of Defect 0 in a Finite Groups with Some Subgroups Being Seminormal
Journal of Harbin University of Science and Technology, 2020 By studying homogeneous polynomials related to groups, the complex index of finite groups is defined.The theory of complex index and its complex representation has been developed and perfected quickly So people began to consider the representation of ...
WANG Hong, QIAN Fangsheng
doaj +1 more source
On the State Approach Representations of Convolutional Codes over Rings of Modular Integers
Mathematics, 2021 In this study, we prove the existence of minimal first-order representations for convolutional codes with the predictable degree property over principal ideal artinian rings.
Ángel Luis Muñoz Castañeda +2 more
doaj +1 more source
Holomorphic modular bootstrap revisited
Journal of High Energy Physics, 2021 In this work we revisit the “holomorphic modular bootstrap”, i.e. the classification of rational conformal field theories via an analysis of the modular differential equations satisfied by their characters.
Justin Kaidi +2 more
doaj +1 more source
Quantum flux operators for Carrollian diffeomorphism in general dimensions
Journal of High Energy Physics, 2023 We construct Carrollian scalar field theories in general dimensions, mainly focusing on the boundaries of Minkowski and Rindler spacetime, whose quantum flux operators form a faithful representation of Carrollian diffeomorphism up to a central charge ...
Ang Li +3 more
doaj +1 more source
Reasoning about modular datatypes with Mendler induction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics.
Paolo Torrini, Tom Schrijvers
doaj +1 more source
Syntax Monads for the Working Formal Metatheorist
Electronic Proceedings in Theoretical Computer Science, 2023 Formally verifying the properties of formal systems using a proof assistant requires justifying numerous minor lemmas about capture-avoiding substitution.
Dunn, Lawrence +2 more
doaj +1 more source
ON THE TRANSFORMATION OF REPRESENTATION OF NUMBERS IN THE RESIDUO FROM ONE MODULE SYSTEM TO ANOTHER
Nauka ta progres transportu, 2016 Purpose. The purpose of this work is the theoretical foundation of one of the approaches to improve the effectiveness of the number system in nonpositional residual classes non-modular, so-called complex operation, the realization of which requires ...
Yu. D. Polissky
doaj +1 more source
On refined Chern-Simons/topological string duality for classical gauge groups
Journal of High Energy Physics, 2022 We present the partition function of the refined Chern-Simons theory on S 3 with arbitrary A, B, C, D gauge algebra in terms of multiple sine functions. For B and C cases this representation is novel.
M. Y. Avetisyan, R. L. Mkrtchyan
doaj +1 more source