Related papers: Freely adding one layer of quantifiers to a Boolea…
It is known that there exist an infinite number of inequivalent quantizations on a topologically nontrivial manifold even if it is a finite-dimensional manifold. In this paper we consider the abelian sigma model in (1+1) dimensions to…
Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…
Given a monomial ideal in a polynomial ring over a field, we define the generalized Newton complementary dual of the given ideal. We show good properties of such duals including linear quotients and isomorphisms between the special fiber…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
Let $Q=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ with the standard $N^n$-grading. Let $\phi$ be a morphism of finite free $N^n$-graded $Q$-modules. We translate to this setting several notions and constructions that appear…
We study a class of first-order theories whose complete quantifier-free types with one free variable either have a trivial positive part or are isolated by a positive quantifier-free formula--plus a few other technical requirements. The…
We establish a generic counting formula for the Euler number of a flat vector bundle of rank $2n$ over a $2n$ dimensional closed manifold, in terms of vertices of transversal open coverings of the underlying manifold. We use the…
We study a model where two opposing provers debate over the membership status of a given string in a language, trying to convince a weak verifier whose coins are visible to all. We show that the incorporation of just two qubits to an…
We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that f(A) =…
We extend the notion of an almost flat bundle over a closed Riemannian manifold to bundles over simplicial complexes, and prove that up to a constant factor, this notion is invariant under pullback via maps which induce isomorphisms on…
We investigate rational $G$-modules $M$ for a linear algebraic group $G$ over an algebraically closed field $k$ of characteristic $p > 0$ using filtrations by sub-coalgebras of the coordinate algebra $k[G]$ of $G$. Even in the special case…
Let $\mathcal{A}$ be a quantized ($K$-theoretic) BFN Coulomb branch with $G=\mathbb{C}^*$ and any $N$, that is, $\mathcal{A}$ is a generalized Weyl or $q$-Weyl algebra. Let $M$ be an $\mathcal{A}$-$\overline{\mathcal{A}}$ bimodule. Choosing…
Binary classification is a fundamental problem in machine learning. Recent development of quantum similarity-based binary classifiers and kernel method that exploit quantum interference and feature quantum Hilbert space opened up tremendous…
In several articles, this author has advocated an alternative approach towards quantum foundation based upon a set of postulates, and based upon the notions of theoretical variables and of accessible theoretical variables. It is shown in…
By means of an appropriate re-scaling of the metric in a Lagrangian, we are able to reduce it to a kinetic term only. This form enables us to examine the extended complexified solution set (complex moduli space) of field theories by finding…
We present some results from classical homological algebra using the language of cotorsion theories in abelian categories. The results are a couple of foundational facts about homological dimension, the Kunneth formula and the universal…
Exploiting the path integral approach al la Batalin and Vilkovisky, we show that any anomaly-free Quantum Field Theory (QFT) comes with a family parametrized by certain moduli space M, which tangent space at the point corresponding to the…
For any open, connected and bounded set $\Omega \subseteq \mathbb C^m$, let $\mathcal A$ be a natural function algebra consisting of functions holomorphic on $\Omega$. Let $\mathcal M$ be a Hilbert module over the algebra $\mathcal A$ and…
Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others…
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…