English
Related papers

Related papers: Higher amalgamation in $\mathrm{ACFA}^{+}$

200 papers

Some time ago, conformal data with affine fusion rules were found. Our purpose here is to realize some of these conformal data, using systems of free bosons and parafermions. The so constructed theories have an extended $W$ algebras which…

High Energy Physics - Theory · Physics 2009-10-31 Doron Gepner

Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some…

Combinatorics · Mathematics 2007-05-23 Ben Green

We explore higher-dimensional conformal field theories (CFTs) in the presence of a conformal defect that itself hosts another sub-dimensional defect. We refer to this new kind of conformal defect as the composite defect. We elaborate on the…

High Energy Physics - Theory · Physics 2024-04-26 Soichiro Shimamori

In this paper we extend the notion of Addition Chains over Z+ to a general set S. We explain how the algebraic structure of Assembly Multi-Magma over the pairs (S,BB proper subset of S) allows to define the concept of Addition Chain over S,…

Combinatorics · Mathematics 2025-12-23 Leroy Cronin , Juan Carlos Morales Parra , Keith Y. Patarroyo

A particular form of non-linear $\sigma$-model, having a global gauge invariance, is studied. The detailed discussion on current algebra structures reveals the non-abelian nature of the invariance, with {\it{field dependent structure…

High Energy Physics - Theory · Physics 2009-11-11 Subir Ghosh

Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant…

Logic · Mathematics 2026-02-24 Seyed-Mohammad Bagheri

Let T be a complete first order theory in a countable relational language L . We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol sigma to obtain the language…

Logic · Mathematics 2007-05-23 John Baldwin , Saharon Shelah

In this paper we generalize to associative superalgebras Gerstenhaber's work on cohomology structure of an associative algebra. We introduce two multiplications U and [-,-] on the cochain complex C^*(A;A) of an associative superalgebra A.…

General Mathematics · Mathematics 2021-09-01 R. B. Yadav

We present a method which forces the failure of $\Pi^1_3$ and $\Sigma^1_3$-separation, while $\mathsf{MA} (\mathcal{I}$) holds, for $\mathcal{I}$ the family of indestructible ccc forcings. This shows that, in contrast to the assumption…

Logic · Mathematics 2025-11-05 Stefan Hoffelner

The theory of difference-differential fields of characteristic zero has a model-companion denoted by $\it DCFA$. Previously we proved a weak version of Zilber's dichotomy for $\it DCFA$. In this paper we use arc spaces techniques as…

Logic · Mathematics 2020-06-24 Ronald F. Bustamante Medina

We prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients.…

Algebraic Geometry · Mathematics 2020-03-06 Jingjun Han , Jihao Liu , V. V. Shokurov

We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statements such as "the first array cell contains the array length,"…

Formal Languages and Automata Theory · Computer Science 2016-05-13 Przemysław Daca , Thomas A. Henzinger , Andrey Kupriyanov

The recent criticisms of the robustness of post hoc model approximation explanation methods (like LIME and SHAP) have led to the rise of model-precise abductive explanations. For each data point, abductive explanations provide a minimal…

Artificial Intelligence · Computer Science 2023-10-13 Gagan Biradar , Yacine Izza , Elita Lobo , Vignesh Viswanathan , Yair Zick

Taking a representation-theoretic viewpoint, we construct a continuous associahedron motivated by the realization of the generalized associahedron in the physical setting. We show that our associahedron shares important properties with the…

Representation Theory · Mathematics 2025-12-02 Maitreyee C. Kulkarni , Jacob P. Matherne , Kaveh Mousavand , Job D. Rock

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…

Combinatorics · Mathematics 2012-03-13 Balazs Szegedy

The following extension of Bohr's theorem is established: If a somewhere convergent Dirichlet series $f$ has an analytic continuation to the half-plane $\mathbb{C}_\theta = \{s = \sigma+it\,:\, \sigma>\theta\}$ that maps $\mathbb{C}_\theta$…

Complex Variables · Mathematics 2023-11-03 Ole Fredrik Brevig , Athanasios Kouroupis

Coalition Logic studies what coalitions can enforce. Recent work treats inability as simple non-ability: $\neg\Eff{C}\varphi$. This conflates two distinct configurations -- a coalition unable to force $\varphi$ may still force…

Logic in Computer Science · Computer Science 2026-05-07 Shanxia Wang

A method for implementing non-Abelian duality on string backgrounds is given. It is shown that a direct generalisation of the familiar Abelian duality induces an extra local symmetry in the gauge invariant theory. The non-Abelian isometry…

High Energy Physics - Theory · Physics 2009-10-28 Noureddine Mohammedi

We show that the gamma_i-deformation, which was proposed as candidate gauge theory for a non-supersymmetric three-parameter deformation of the AdS/CFT correspondence, is not conformally invariant due to a running double-trace coupling - not…

High Energy Physics - Theory · Physics 2015-04-01 Jan Fokken , Christoph Sieg , Matthias Wilhelm

In this paper we show some multiplicity estimates theorems for a connected algebraic group (not necessarily commutative) $G$ over an algebraically closed subfield of $\mathbb{C}$. More specifically, under particular assumptions on the…

Algebraic Geometry · Mathematics 2015-12-15 Mario Huicochea
‹ Prev 1 4 5 6 7 8 10 Next ›