Related papers: When is scalar multiplication decidable?
Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field $K$. Kaplansky conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is a vector…
The field of real numbers being extended as a larger commutative field, we investigate the possibility of defining a scalar product for the distributions of finite discrete support. Then we focus on the most simple possible extension (which…
Quadratic conjecture is a strengthening of oliver's $p$-group conjecture. Let $G$ be a $p$-group of maximal class of order $p^n$. We prove that if $n\le 8$ or $n\ge \max\{2p-6,p+2\}$ then $G$ satisfies Quadratic Conjecture. Hence quadratic…
Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…
We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented group where the problem of solvability of exponential equations…
Scattering transform is a well known powerful tool for quantisation of field theories in (1+1) dimensions. Conventionally only those models whose classical counterparts admit a Lax pair (origin of which is always mysterious) have been…
We present a substantial generalisation of a classical result by Lie on integrability by quadratures. Namely, we prove that all vector fields in a finite-dimensional transitive and solvable Lie algebra of vector fields on a manifold can be…
The decision problems on matrices were intensively studied for many decades as matrix products play an essential role in the representation of various computational processes. However, many computational problems for matrix semigroups are…
If $C:y^2=x(x-1)(x-a_1)(x-a_2)(x-a_3)$ is genus $2$ curve a natural question to ask is: Under what conditions on $a_1,a_2,a_3$ does the Jacobian $J(C)$ have real multiplication by $\mathbb{Z}[\sqrt{\Delta}]$ for some $\Delta>0$. Over a…
The superselection sectors of two classes of scalar bilocal quantum fields in D>=4 dimensions are explicitly determined by working out the constraints imposed by unitarity. The resulting classification in terms of the dual of the respective…
A scalar field theory with 4-derivative kinetic terms and 4-derivative cubic and quartic couplings is presented as a proxy for quantum quadratic gravity (QQG). The scalar theory is renormalizable and asymptotically free and the remaining…
Let $K/k$ be an abelian extension of number fields with a distinguished place of $k$ that splits totally in $K$. In that situation, the abelian rank one Stark conjecture predicts the existence of a unit in $K$, called the Stark unit,…
If K/k is a function field in one variable of positive characteristic, we describe a general algorithm to factor one-variable polynomials with coefficients in K. The algorithm is flexible enough to find factors subject to additional…
We study points and 0-cycles on del Pezzo surfaces defined over a field K of characteristic 0, with emphasis on cubic surfaces. We prove that a cubic surface that admits a point defined over a field extension of K of degree coprime to 3…
Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…
We study the structure of certain $k$-modules $\mathbb{V}$ over linear spaces $\mathbb{W}$ with restrictions neither on the dimensions of $\mathbb{V}$ and $\mathbb{W}$ nor on the base field $\mathbb F$. A basis $\mathfrak B = \{v_i\}_{i\in…
It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.
We consider first-order definability and decidability questions over rings of integers of algebraic extensions of $\Q$, paying attention to the uniformity of definitions. The uniformity follows from the simplicity of our first-order…
It is well known that there is no basis of the field for real numbers regarded as a vector space over any proper subfield that is closed under multiplication. Mabry has extended this result to bases of arbitrary proper field extensions. The…
Morrill and Valentin in the paper "Computational coverage of TLG: Nonlinearity" considered an extension of the Lambek calculus enriched by a so-called "exponential" modality. This modality behaves in the "relevant" style, that is, it allows…