Related papers: Double negation stable h-propositions in cubical s…

Starting from a faithful five-dimensional matrix representation of the group of two independent oscillators and applying the R-matrix method we generate some classes of deformed fermionic-bosonic quantum Hopf algebras. The corresponding Lie…

We propose a new cubical type theory, termed (self-deprecatingly) the naive cubical type theory, and study its semantics using the universe category framework, which is similar to Uemura's categories with representable morphisms. In…

For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…

In this paper, we introduce the notions of motivic representation stability that is an algebraic counterpart of the notion of representation stability. In the process, we also introduce the notion of motivic decomposition for varieties…

In this article, the decidability and computability issues of dynamic probability logic (DPL) are addressed. Firstly, a proof system $\mathcal{H}_{DPL}$ is introduced for DPL and shown that it is weakly complete. Furthermore, this logic has…

There are 13 equivalence classes of 2D second order quantum and classical superintegrable systems with nontrivial potential, each associated with a quadratic algebra of hidden symmetries. We study the finite and infinite irreducible…

The notion of double coset for semisimple finite dimensional Hopf algebras is introduced. This is done by considering an equivalence relation on the set of irreducible characters of the dual Hopf algebra. As an application formulae for the…

For two-dimensional many-particle systems first-order, second-order, single step continuous, as well as two-step continuous (KTHNY-like) melting transitions have been found in previous studies. Recent computer simulations, using particle…

We investigate the presence of static solutions in models described by real scalar field in two-dimensional spacetime. After taking advantage of a procedure introduced sometime ago, we solve intricate nonlinear ordinary differential…

This work deals with charged nontopological solutions that appear in relativistic models described by a single complex scalar field in two-dimensional spacetime. We study a model which supports novel analytical configurations of the Q-ball…

We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…

We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the epsilon-surjection property, that were recently introduced to characterize the notion of computable type arising from computability…

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…

We study the fundamental relationship between stable quotient invariants and the B-model for local CP2 in all genera. Our main result is a direct geometric proof of the holomorphic anomaly equation in the precise form predicted by B-model…

This partly expository paper first supplies the details of a method of factoring a stable C*-algebra A as B \otimes K in a canonical way. Then it is shown that this method can be put into a categorical framework, much like the…

We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain…

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…

The main theorem here is the K-theoretic analogue of the cohomological `stable double component formula' for quiver functions in [Knutson, Miller, and Shimozono, math.AG/0308142]. This K-theoretic version is still in terms of lacing…

The aim of this paper is to generalize and improve two of the main model-theoretic results of "Stable group theory and approximate subgroups" by E. Hrushovski to the context of piecewise hyperdefinable sets. The first one is the existence…

We use Anti-de Sitter quantum field theory to prove a new class of identities between hypergeometric functions related to the K\"all\'en-Lehmann representation of products of two Anti-de Sitter two-point functions. A rich mathematical…