Related papers: Necessary and sufficient conditions for inclusion …

We show that the class of representable substitution algebras is characterized by a set of universal first order sentences. In addition, it is shown that a necessary and sufficient condition for a substitution algebra to be representable is…

We describe certain sufficient conditions for an infinitely divisible probability measure on a class of connected Lie groups to be embeddable in a continuous one-parameter convolution semigroup of probability measures. (Theorem 1.3). This…

We examine the possible states of subsystems of a system of bits or qubits. In the classical case (bits), this means the possible marginal distributions of a probability distribution on a finite number of binary variables; we give necessary…

In this paper, we propose various sufficient conditions to determine if a given real number is an irrational number or a transcendental number and also apply these conditions to some interesting examples, particularly,one of them comes from…

We give criteria of total incomparability for certain classes of mixed Tsirelson spaces. We show that spaces of the form $T[(M_k,\theta_k)_{k=1}^{\ell}]$ with index $i(M_k)$ finite are either $c_0$ or $\ell_p$ saturated for some $p$ and we…

We study families of positive and completely positive maps acting on a bipartite system $\mathbb{C}^M\otimes \mathbb{C}^N$ (with $M\leq N$). The maps have a property that when applied to any state (of a given entanglement class) they result…

This article is devoted to obtain new sufficient conditions for an extremum in problems of classical calculus of variations. The concept of a set of integrands is introduced. Using this concept, first and second order sufficient conditions…

In this paper, we will use the entropy approach to derive a necessary and sufficient condition for the existence of an element that belongs to at least half of the sets in a finite family of sets.

Great progress has been made recently in establishing conditions for separability of a particular class of Werner densities on the tensor product space of $n$ $d$--level systems (qudits). In this brief note we complete the process of…

Let $t\geq 1$, let $A$ and $B$ be finite, nonempty subsets of an abelian group $G$, and let $A\pp{i} B$ denote all the elements $c$ with at least $i$ representations of the form $c=a+b$, with $a\in A$ and $b\in B$. For $|A|, |B|\geq t$, we…

We introduce the notion of an approximation system as a generalization of Taylor approximation, and we give some first examples. Next we develop the general theory, including error bounds and a sufficient criterion for convergence. More…

We establish the global existence of a class of strongly coupled parabolic systems. The necessary apriori estimates will be obtained via our new approach to the regularity theory of parabolic scalar equations with integrable data and new…

Consider additive functionals of a Markov chain $W_k$, with stationary (marginal) distribution and transition function denoted by $\pi$ and $Q$, say $S_n=g(W_1)+...+g(W_n)$, where $g$ is square integrable and has mean 0 with respect to…

We note that the necessary and sufficient conditions established by Marcel Riesz for the inclusion of regular N\"orlund summation methods are in fact applicable quite generally.

It is shown that if $$ \sum_{n=1}^{N}n\left|c_{n}\right|=O(N), $$ then Lebesgue summability, $(\mathrm{C},\beta)$ summability ($\beta>0$), Abel summability, Riemann summability, and $(\gamma,\kappa)$ summability ($\kappa\geq 1$) of the…

We establish asymptotic formulae for various correlations involving general divisor functions $d_k(n)$ and partial divisor functions $d_l(n,A)=\sum_{q|n:q\leq n^A}d_{l-1}(q)$, where $A\in[0,1]$ is a parameter and $k,l\in\mathbb{N}$ are…

We study the complexity of satisfiability problems in probabilistic and causal reasoning. Given random variables $X_1, X_2,\ldots$ over finite domains, the basic terms are probabilities of propositional formulas over atomic events $X_i =…

We provide a generalization of first-order necessary conditions of optimality for infinite-dimensional optimization problems with a finite number of inequality constraints and with a finite number of inequality and equality constraints. Our…

We give a sufficient condition that implies that SNr_nCA_{n+k}, n\geq 3, k\geq 3 (both finite)is not closed under completions. We compare this condition to existing results in literature.

Necessary and sufficient conditions are given for a prime Noetherian algebra K[S] of a submonoid S of a polycyclic-by-finite group G to be a maximal order. These conditions are entirely in terms of the monoid S. This extends earlier results…