English
Related papers

Related papers: On Representational Redundancy, Surplus Structure,…

200 papers

We discuss a new class of non-renormalization theorems in N=4 and N=2 Super-Yang-Mills theory, obtained by using a superspace which makes a lower dimensional subgroup of the full supersymmetry manifest. Certain Wilson loops (and Wilson…

High Energy Physics - Theory · Physics 2009-11-10 Z. Guralnik , S. Kovacs , B. Kulik

We argue that one of the following statements must be true: (a) extensive violations of quantum information theory's additivity conjectures exist or (b) there exists a set of `disentangled' black hole microstates that can account for the…

High Energy Physics - Theory · Physics 2020-12-16 Patrick Hayden , Geoff Penington

A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative…

Logic · Mathematics 2020-02-27 Almudena Colacito , Nikolaos Galatos , George Metcalfe

In this note, we survey two instances in the representation theory of finite-dimensional algebras where the quantity of a type of structures is intimately related to the size of those same structures. More explicitly, we review the fact…

Representation Theory · Mathematics 2020-01-15 Jorge Vitória

We give an example of two ordered structures M, N in the same language L with the same universe, the same order and admitting the same one-variable definable subsets such that M is a model of the common theory of o-minimal L-structures and…

Logic · Mathematics 2023-09-15 Nadav Meir

We discuss the connections between the failure of the axiom of choice in set theory, and certain model-theoretic structures with enough symmetry.

Logic · Mathematics 2019-09-02 J K Truss

Galles and Pearl claimed that "for recursive models, the causal model framework does not add any restrictions to counterfactuals, beyond those imposed by Lewis's [possible-worlds] framework." This claim is examined carefully, with the goal…

Artificial Intelligence · Computer Science 2013-08-20 Joseph Y. Halpern

Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the…

Artificial Intelligence · Computer Science 2018-09-12 Francesco Olivieri , Guido Governatori , Matteo Cristani , Nick van Beest , Silvano Colombo-Tosatto

We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real…

Logic · Mathematics 2007-05-23 Ehud Hrushovski , Ya'acov Peterzil

We give a broad conceptual review of what we have learned about black holes and their microstate structure from the study of microstate geometries and their string theory limits. We draw upon general relativity, supergravity, string theory…

High Energy Physics - Theory · Physics 2013-11-20 Iosif Bena , Nicholas P. Warner

We revisit the notion of initial sets by Xu and Cayrol, i.e., non-empty minimal admissible sets in abstract argumentation frameworks. Initial sets are a simple concept for analysing conflicts in an abstract argumentation framework and to…

Artificial Intelligence · Computer Science 2022-04-22 Matthias Thimm

We present a non-geometric derivation of $\mathcal{N}$=1 Super Yang-Mills by focusing on the consistency of interactions that extend the free vector supermultiplet rather than assuming gauge invariance under extended symmetries. By…

High Energy Physics - Theory · Physics 2024-08-28 Konstantinos Koutrolikos

We analyse the relationship between the N=2 harmonic and projective superspaces which are the only approaches developed to describe general N=2 super Yang-Mills theories in terms of off-shell supermultiplets with conventional supersymmetry.…

High Energy Physics - Theory · Physics 2009-10-31 Sergei M. Kuzenko

We give a framework to describe gauge theory in which a nonassociative Moufang loop takes the place of the structure group. The structure of such gauge theory has many formal similarities with that of Yang-Mills theory. We extend the gauge…

High Energy Physics - Theory · Physics 2008-11-26 E. K. Loginov

The recent progress in string theory strongly suggests that formation and evaporation of black holes is a unitary process. This fact makes it imperative that we find a flaw in the semiclassical reasoning that implies a loss of information.…

General Relativity and Quantum Cosmology · Physics 2016-12-28 Samir D. Mathur

We investigate the structure of return-time sets determined by orbits along polynomial tuples in minimal topological dynamical systems. Building on the topological characteristic factor theory of Glasner, Huang, Shao, Weiss, and Ye, we…

This paper is devoted to a general presentation of anti-topological spaces. These structures have been initially proposed by \c{S}ahin, Karg{\i}n and M. Y\"{u}cel in 2021. We analyse their basic definition, showing some of its subtleties…

General Topology · Mathematics 2022-03-30 Tomasz Witczak

We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…

Logic in Computer Science · Computer Science 2022-04-29 Ugo Dal Lago , Furio Honsell , Marina Lenisa , Paolo Pistone

In this paper, we address the problem of change in an abstract argumentation system. We focus on a particular change: the addition of a new argument which interacts with previous arguments. We study the impact of such an addition on the…

Artificial Intelligence · Computer Science 2014-01-17 Claudette Cayrol , Florence Dupin de Saint-Cyr , Marie-Christine Lagasquie-Schiex

We contemplate a higher-level bipolar abstract argumentation for non-elementary arguments such as: X argues against Ys sincerity with the fact that Y has presented his argument to draw a conclusion C, by omitting other facts which would not…

Artificial Intelligence · Computer Science 2019-01-21 Ryuta Arisaka , Stefano Bistarelli , Francesco Santini