Related papers: On Representational Redundancy, Surplus Structure,…
We construct a collection of Lorentz violating Yang-Mills theories exhibiting supersymmetry.
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second-order. In this paper, we study the problem of representability of a family of theories as the set of…
Hopf algebra structures on the extended q-superplane and its differential algebra are defined. An algebra of forms which are obtained from the generators of the extended q-superplane is introduced and its Hopf algebra structure is given
Given an arbitrary spectral space $X$, we endow it with its specialization order $\leq$ and we study the interplay between suprema of subsets of $(X,\leq)$ and the constructible topology. More precisely, we investigate about when the…
Black hole complementarity, as originally formulated in the 1990's by Preskill, 't Hooft, and myself is now being challenged by the Almheiri-Marolf-Polchinski-Sully firewall argument. The AMPS argument relies on an implicit assumption---the…
The aim of this paper is to transfer the restrictedness theory to Hom-Lie algebras. The concept of restricted Hom-Lie algebras which is introduced in \cite{BM2} will be used in this paper. First, the existence of $p$-structures on a Hom-Lie…
We prove a main gap theorem for e-saturated submodels of a homogeneous structure. We also study the number of e-saturated models, which are not elementarily embeddable to each other
We review some recent additions to the tool-chest of techniques for finding compact integrand representations of multiloop gauge-theory amplitudes - including non-planar contributions - applicable for N=4 super-Yang-Mills in four and higher…
This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set…
We solve the superspace Bianchi identities for ten-dimensional supersymmetric Yang-Mills theory without imposing any kind of constraints apart from the standard conventional one. In this way we obtain a set of algebraic conditions on…
This paper revisits the conundrum faced when one attempts to understand the dynamics of black hole formation and evaporation without abandoning unitary evolution. Previous efforts to resolve this puzzle assume that information escapes in…
We investigate the dimensional, the dynamical and the topological structures of four dimensional Einstein and Yang-Mills theories. It is shown that these theories are constructed from two dimensional quantities, so that they possess always…
Proof formats for SAT solvers have diversified over the last decade, enabling new features such as extended resolution-like capabilities, very general extension-free rules, inclusion of proof hints, and pseudo-boolean reasoning.…
We discuss the problem of defining a logic for analogical reasoning, and sketch a solution in the style of the semantics for Counterfactual Conditionals, Preferential Structures, etc.
Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…
In this paper we revisit the arguments that have led to the proposal of a multi-instanton measure for supersymmetric Yang-Mills theories. We then recall how the moduli space of gauge connections on $\real^4$ can be built from a…
The construction of effective field theories describing M-theory compactified on $S^1/{\bf Z}_2$ is revisited, and new insights into the parameters of the theory are explained. Particularly, the web of constraints which follow from…
Hypercomputational formal theories will, clearly, be both structurally and foundationally different from the formal theories underpinning computational theories. However, many of the maps that might guide us into this strange realm have…
This is the first in a series of papers where we develop new structural elements on singular area minimizing hypersurfaces, the skin structures. They disclose previously unapproachable and largely unexpected geometric and analytic…
In this note, we prove an obstruction theorem for the existence of A infinite-structures over a commutative ring R on an algebra A associative up to homotopy, in terms of the Hochschild cohomology of the associative algebra H(A). The hidden…