Related papers: Quantifier-free descriptions for quantifier soluti…

We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), \sigma Y(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $\sigma$ a shift operator $\sigma(x) = x+a$, $q$-dilation…

We consider a coherent-classical estimation scheme for a class of linear quantum systems. It comprises an estimator that is a mixed quantum-classical system without involving coherent feedback. The estimator yields a classical estimate of a…

This paper deals with the dispersionless KP hierarchy from the point of view of quasi-classical limit. Its Lax formalism, W-infinity symmetries and general solutions are shown to be reproduced from their counterparts in the KP hierarchy in…

The problems encountered in trying to quantize the various cosmological models, are brought forward by means of a concrete example. The Automorphism groups are revealed as the key element through which G.C.T.'s can be used for a general…

We show that the matrix query language $\mathsf{MATLANG}$ corresponds to a natural fragment of the positive relational algebra on $K$-relations. The fragment is defined by introducing a composition operator and restricting $K$-relation…

We discuss the quantized theory of a pure-gauge non-abelian vector field (flat connection) as it would appear in a mass term a` la Stueckelberg. However the paper is limited to the case where only the flat connection is present (no field…

A new class of infinite-dimensional Lie algebras given a name of Lax operator algebras, and the related unifying approach to finite-dimensional integrable systems with spectral parameter on a Riemann surface, such as Calogero--Moser and…

Conventional lattice formulations of $\theta$ vacua in the $1+1$-dimensional $\text{O}(3)$ nonlinear sigma model suffer from a sign problem. Here, we construct the first sign-problem-free regularization for arbitrary $\theta$. Using…

Quantum correlations can be naturally formulated in a classical statistical system of infinitely many degrees of freedom. This realizes the underlying non-commutative structure in a classical statistical setting. We argue that the quantum…

An algebraic analysis framework for quantum calculus is proposed. The quantum derivative operator $D_{\tau ,\sigma}$ is based on two commuting bijections $\tau$ and $\sigma$ defined on an arbitrary set $M$ equipped with a tension structure…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gr\"obner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded…

Let (X,\sigma) be a symplectic space admitting a complex structure and let R(X,\sigma) be the corresponding resolvent algebra, i.e. the C*-algebra generated by the resolvents of selfadjoint operators satisfying canonical commutation…

We prove, in a quantitative form, linear independence results for values of a certain class of q-series, which generalize classical q-hypergeometric series. These results refine our recent estimates.

Various aspects of the theory of quantum integrable systems are reviewed. Basic ideas behind the construction of integrable ultralocal and nonultralocal quantum models are explored by exploiting the underlying algebraic structures related…

This survey article is concerned with the modeling of the kinematical structure of quantum systems in an algebraic framework which eliminates certain conceptual and computational difficulties of the conventional approaches. Relying on the…

In this paper we present an extension of the removal lemma to integer linear systems over abelian groups. We prove that, if the $k$--determinantal of an integer $(k\times m)$ matrix $A$ is coprime with the order $n$ of a group $G$ and the…

Canonical quantization entails using Cartesian coordinates, and Cartesian coordinates exist only in flat spaces. This situation can either be questioned or accepted. In this paper we offer a brief and introductory overview of how a flat…

Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…

Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if V = L, then many of them are \Sigma^1_1-complete, in particular the isomorphism relation of dense…

Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of…