相关论文: A Correspondence between Maximal Abelian Sub-Algeb…

We introduce a graph-theoretical representation of proofs of multiplicative linear logic which yields both a denotational semantics and a notion of truth. For this, we use a locative approach (in the sense of ludics) related to game…

Superconformal sigma models with Calabi--Yau target spaces described as complete intersection subvarieties in toric varieties can be obtained as the low-energy limit of certain abelian gauge theories in two dimensions. We formulate mirror…

Applying advances in exact computations of supersymmetric gauge theories, we study the structure of correlation functions in two-dimensional N=(2,2) Abelian and non-Abelian gauge theories. We determine universal relations among correlation…

In two previous papers, we exposed a combinatorial approach to the program of Geometry of Interaction, a program initiated by Jean-Yves Girard. The strength of our approach lies in the fact that we interpret proofs by simpler structures -…

We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…

Let $\Gamma$ be a countable group and let $\Gamma_0$ be an infinite abelian subgroup of $\Gamma$. We prove that if the pair $(\Gamma,\Gamma_0)$ satisfies some combinatorial condition called (SS), then the abelian subalgebra $A=L(\Gamma_0)$…

In this paper, we exhibit strongly singular maximal abelian subalgebras living inside certain k-folded tensors of von Neumann group factors. The two classes of groups under consideration are the free groups of rank greater than 2 and the…

In this paper we extend to non-compact Riemannian manifolds with boundary the use of two important tools in the geometric analysis of compact spaces, namely, the weak maximum principle for subharmonic functions and the integration by parts.…

The set theory relations \in, \backslash, \Delta, \cap, and \cup have corollaries in subspace relations. Geometric Algebra is introduced as the ideal framework to explore these subspace operations. The relations \in, \backslash, and \Delta…

We study the relation between algebraic structures and Graph Theory. We have defined five different weighted digraphs associated to a finite dimensional algebra over a field in order to tackle important properties of the associated…

We classify $n$-representation infinite algebras $\Lambda$ of type \~A. This type is defined by requiring that $\Lambda$ has higher preprojective algebra $\Pi_{n+1}(\Lambda) \simeq k[x_1, \ldots, x_{n+1}] \ast G$, where $G \leq…

Nonabelian Fradkin-Vasiliev cubic interactions for dual-graviton-like gauge fields with gravity and themselves are constructed in anti-de Sitter spacetime. The Young diagrams of gauge potentials have shapes of 'tall-hooks', i.e. two columns…

The paper considers a Clifford extension of the Grassmann algebra, in which operators are built from Grassmann variables and by the derivatives with respect to them. It is shown that a subalgebra which is isomorphic to the usual matrix…

The deformations of higher-spin symmetries induced by cubic interactions of symmetric massless bosonic fields are analyzed within the metric-like formalism. Our analysis amends the existing classification according to gauge-algebra…

We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained…

This paper presents, for the first time, a Geometry of Interaction (GoI) interpretation inspired from Hughes-vanGlabbeek (HvG) proof-nets for multiplicative additive linear logic (MALL). Our GoI dynamically captures HvG's geometric…

For a maximal abelian subalgebra $A\subset M$ in a finite von Neumann algebra, we consider an invariant due to Takesaki which is an equivalence relation on a standard probability space. We give several characterization of this invariant and…

Recent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems Theory, have used various combinatorial structures that model both the geometry of the systems and the Kripke model structure of models for the…

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

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…