相关论文: David's trick

We introduce the notion of omni-Lie superalgebra as a super version of the omni-Lie algebra introduced by Weinstein. This algebraic structure gives a nontrivial example of Leibniz superalgebra and Lie 2-superalgebra. We prove that there is…

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a…

We propose a relation between the operator of S-duality (of N=4 super Yang-Mills theory in 3+1D) and a topological theory in one dimension lower. We construct the topological theory by compactifying N=4 super Yang-Mills on a circle with an…

We exhibit a correspondence between subcategories of modules over an algebra and sub-bimodules of the dual of that algebra. We then prove that the semisimplicity of certain such categories is equivalent to the existence of a Peter-Weyl…

Consider a finite-dimensional, complex Lie algebra G and a semi-simple automorphism {\alpha}. This note aims to give a short and simple proof for explicit upper bounds for the derived length of the radical R and the rank of a Levi…

Consider a compact prequantizable symplectic manifold M on which a compact Lie group G acts in a Hamiltonian fashion. The ``quantization commutes with reduction'' theorem asserts that the G-invariant part of the equivariant index of M is…

By making use of arithmetic information inequalities, we give a strong quantitative bound for the discretised ring theorem. In particular, we show that if $A \subset [1,2]$ is a $(\delta,\sigma)$-set, with $|A| = \delta^{-\sigma},$ then…

There are two major generalizations of the standard ordinal analysis: One is Girard's $\Pi^1_2$-proof theory in which dilators are assigned to theories instead of ordinals. The other is Pohlers' generalized ordinal analysis with Spector…

In a predicative framework from basic logic, defined for a model of quantum parallelism by sequents, we characterize a class of first order domains, termed {\em virtual singletons}, which allows a generalization of the notion of duality,…

We describe three analytic classes of infinitely many AdS_d supersymmetric solutions of massive IIA supergravity, for d = 7, 5, 4. The three classes are related by simple universal maps. For example, the AdS_7 x M_3 solutions (where M_3 is…

We deduce, as a consequence of the arithmetic removal lemma, an almost-all version of the Balog-Szemer\'{e}di-Gowers theorem: For any $K\geq 1$ and $\varepsilon > 0$, there exists $\delta = \delta(K,\varepsilon)>0$ such that the following…

In this work, we add an additional condition to strong pseudo prime test to base 2. Then, we provide theoretical and heuristics evidences showing that the resulting algorithm catches all composite numbers. Our method is based on the…

A method of constructing a class of bihamiltonian structures is presented. Elements of this class are generalizations of the so-called bihamiltonian structures of general position on odd-dimensional manifolds. The method consists in a…

The article demonstrates that logic is not necessarily singleton and does not always have the standard interpretation of negation. Appropriate generalizations of logic are suggested. Positive logic and multivalued negation operations are…

We show that the Cappell-Shaneson version of Pick's theorem for simple lattice polytopes is a consequence of a general relation between characteristic numbers of virtual submanifolds dual to the characteristic classes of a stably almost…

We extend the homological method of quantization of generalized Drinfeld--Sokolov reductions to affine superalgebras. This leads, in particular, to a unified representation theory of superconformal algebras.

The circle compactification of M-theory is dual to type IIA string theory, requiring that the dimensional reduction of the M-theory couplings \((t_8 t_8 - \frac{1}{4} \epsilon_8 \epsilon_8) R^4\) must reproduce the type IIA one-loop…

Consider a Hamiltonian action of a compact Lie group on a symplectic manifold which has the strong Lefschetz property. We establish an equivariant version of the Merkulov-Guillemin $d\delta$-lemma and an improved version of the…

We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…

In an earlier paper it was proved that if a differential field $(K,\delta)$ is algebraically closed and closed under Picard-Vessiot extensions then every differential algebraic principal homogeneous space over K for a linear differential…