Related papers: A Class of Generalised Quantifiers for k-Variable …

In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with…

We prove a `Whitney' presentation, and a `Coulomb branch' presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm{Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation…

Second-order Boolean logic is a generalization of QBF, whose constant alternation fragments are known to be complete for the levels of the exponential time hierarchy. We consider two types of restriction of this logic: 1) restrictions to…

Generalizing deformation quantizations with separation of variables of a K\"ahler manifold $M$, we adopt Fedosov's gluing argument to construct a category $\mathsf{DQ}$, enriched over sheaves of $\mathbb{C}[[\hbar]]$-modules on $M$, as a…

The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment to contexts involving relations of arity greater than two. Quantifiers in this logic are used in…

We show that a recently introduced generalized scheme of quantum mechanics has connections to Li\'{e}nard and Levinson-Smith classes of nonlinear systems. For the Li\'{e}nard type, which has coefficients of odd and odd symmetry, we…

We conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras…

Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of…

A duality is discussed for Lie group bundles vs. certain tensor categories with non-simple identity, in the setting of Nistor-Troitsky gauge-equivariant K-theory. As an application, we study C*-algebra bundles with fibre a fixed-point…

We consider the quantum version of Arnold's generalisation of a rigid body in classical mechanics. Thus, we quantise the motion on an arbitrary Lie group manifold of a particle whose classical trajectories correspond to the geodesics of any…

We study the equivalence problem of submanifolds with respect to a transitive pseudogroup action. The corresponding differential invariants are determined via formal theory and lead to the notions of k-variants and k-covariants, even in the…

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

We generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.

A kind of motivic algebra of spectral categories and modules over them is developed to introduce K-motives of algebraic varieties. As an application, bivariant algebraic K-theory as well as bivariant motivic kohomology groups are defined…

We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…

A notion of generalized quantifier in computational complexity theory is explored and used to give a unified treatment of leaf language definability, oracle separations, type 2 operators, and circuits with monoidal gates. Relations to…

In studies of bundled modalities, we encode a complex conceptual notion into the semantics of a single modal operator and study its logic. Although there is already a substantial body of work on various concrete bundled operators, we still…

We study the problem of estimating a manifold from random samples. In particular, we consider piecewise constant and piecewise linear estimators induced by k-means and k-flats, and analyze their performance. We extend previous results for…

A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be reasoned about (probabilistic, cyber-physical, etc.), the focus shifted to…

Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal…