Related papers: An Analytic Approach to The Cancellation Problem f…

An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More…

We prove that if $G$ is an Abelian group and $A_1,\ldots,A_k \subseteq G$ satisfy $m A_i=G$ (the $m$-fold sumset), then $A_1+\ldots+A_k=G$ provided that $k \ge c_m \log n$. This generalizes a result of Alon, Linial, and Meshulam [Additive…

Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing…

In a recent work, Roelands and Tiersma proved that, for a compact convex set $K$, the space $A(K)$ of all real-valued continuous affine functions on $K$, is a JB-algebra if and only if there is a gauge-reversing bijection on $A_c(K)$, the…

The machinery of framed (pre)sheaves was developed by Voevodsky [V1]. Based on the theory, framed motives of algebraic varieties are introduced and studied in [GP1]. An analog of Voevodsky's Cancellation Theorem [V1] is proved in this paper…

In this paper, we are interested in solvable complete Lie algebras, over the field $\K=\R$ or $\mathbb{C}$, which admit a symplectic structure. Specifically, important classes are studied, and a description of complete Lie Algebra with the…

We show that any general semilinear elliptic problem with Dirichlet or Neumann boundary conditions in an annulus A in R^2m ;m >1, invariant by the action of a certain symmetry group can be reduced to a nonhomogenous similar problem in an…

We find that for any n-dimensional, compact, convex subset K of R^{n+1} there is an affinely-spherical hypersurface M in R^{n+1} with center at the relative interior of K, such that the disjoint union of M and K is the boundary of an…

We give a necessary and sufficient condition for the existence of a local solution of the inverse problem of calculus of variations in terms of the identical vanishing of the variation of a functional on an extended space (with the number…

We study the restricted form of the qaunatized enveloping algebra of an untwisted affine Lie algebra and prove a triangular decomposition for it. In proving the decomposition we prove several new identities in the quantized algebra, one of…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

Using the theory of resolving classes, we show that if $X$ is a CW complex of finite type such that $\map_*(X, S^{2n+1})\sim *$ for all sufficiently large $n$, then $\map_*(X, K) \sim *$ for every simply-connected finite-dimensional CW…

We set up, at the abstract Hilbert space setting, the general question on when an inverse linear problem induced by an operator of Friedrichs type admits solutions belonging to (the closure of) the Krylov subspace associated to such…

Let $k$ be a field of characteristic zero, and let $f: k[x,y] \to k[x,y]$, $f: (x,y) \mapsto (p,q)$, be a $k$-algebra endomorphism having an invertible Jacobian. Write $p=a_ny^n+\cdots+a_1y+a_0$, where $n=deg_y(p) \in \mathbb{N}$, $a_i \in…

In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…

McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improvement on the original Collins version, and has had many subsequent advances, notably for total or partial equational constraints. But it suffers from a problem with…

In this paper we study the Kirchhoff problem \begin{equation*} \left \{ \begin{array}{ll} -m(\| u \|^{2})\Delta u = f(u) & \mbox{in $\Omega$,} u=0 & \mbox{on $\partial\Omega$,} \end{array}\right. \end{equation*} in a bounded domain,…

We consider a constrained minimal energy problem with an external field over noncompact classes of infinite dimensional vector measures on a locally compact space. The components are positive measures (charges) that are constrained from…

The usual examples of Bergman spaces consist of the closure of an algebra of holomorphic functions on a domain. One can also take the real part of such functions, but essentially one is looking at the same object. In this paper the author…

The invariant subspace problem is solved correcting my earlier attempts [6]-[12].