Related papers: S-unit equations in modules and linear-exponential…

We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers of the form $2n^3-5n+3$, etc.) Although the full attendant…

Gives the most precise available description of the p-Frattini module for any p-perfect finite group G=G_0 (Thm. 2.8), and therefore of the groups G_{k,ab}, k \ge 0, from which we form the abelianized M(odular) T(ower). \S 4 includes a…

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

Let $p$ be a prime, let $d \geq 1$ be an integer and $A$ be the algebra of square matrices of size $d$ over the field of order $p$. Let $P, Q \in A[x_1, \dots x_n]$ be polynomials in $n$ indeterminates with coefficients in $A$, such that…

Let $p,p_1,\ldots,p_m$ be positive integers with $p_1\leq p_2\leq\cdots\leq p_m$ and $x\in [-1,1)$, define the so-called Euler type sums ${S_{{p_1}{p_2} \cdots {p_m},p}}\left( x \right)$, which are the infinite sums whose general term is a…

An important unsolved problem in Diophantine number theory is to establish a general method to effectively find all solutions to any given $S$-unit equation with at least four terms. Although there are many works contributing to this…

The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.…

Let $T$ be a bounded linear operator on $L^p$. We study the rate of growth of the norms of the powers of $T$ under resolvent conditions or Ces\`aro boundedness assumptions. Actually the relevant properties of $L^p$ spaces in our study are…

We prove a new mean-value theorem for Dirichlet polynomials with coefficients given by the von Mangoldt function. We then use our theorem to derive new estimates for certain exponential sums over primes. The latter have applications to…

We introduce a general constructive method to find a p-basis (and the Ulm invariants) of a finite Abelian p-group M. This algorithm is based on Groebner bases theory. We apply this method to determine the additive structure of…

We give a simple matrix-based proof of congruence equations modulo a prime $p$ involving sums of binomial coefficients appearing in Pascal's triangle. These equations can be used to construct some groups of exponent $p^n$. These groups, as…

Let $f \colon X \to B$ be a nonisotrivial complex elliptic surface and let $\mathcal{D} \subset X$ be an integral divisor dominating $B$. We study finiteness related properties of generalized $(S, \mathcal{D})$-integral sections $\sigma…

Let $(a_1,\dots, a_m)$ be an $m$-tuple of positive, pairwise distinct, integers. If for all $1\leq i< j \leq m$ the prime divisors of $a_ia_j+1$ come from the same fixed set $S$, then we call the $m$-tuple $S$-Diophantine. In this note we…

We prove the existence of positive solutions for a class of semipositone problem with singular Trudinger-Moser nonlinearities. The proof is based on compactness and regularity arguments.

Unfolding singular points in linear differential equations is a classical technique for studying the properties of irregular singularities by relating them to regular singularities. In this paper, we propose a general framework for…

We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free…

In this paper we continue the study started in part I (posted). We consider a planar, bounded, $m$-connected region $\Omega$, and let $\bord\Omega$ be its boundary. Let $\mathcal{T}$ be a cellular decomposition of $\Omega\cup\bord\Omega$,…

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse…

Necessary and sufficient conditions for the existence of an integer solution of the diophantine equation $m/n=1/x(\lambda)+1/y(\lambda)+1/z(\lambda)$ with $n=b+a\lambda$ are explicitly given for a,b coprime and a not a multiple of m . The…

We show that for any finitely generated group of matrices that is not virtually solvable, there is an integer m such that, given an arbitrary finite generating set for the group, one may find two elements a and b that are both products of…