Related papers: Necessary and sufficient conditions for inclusion …
We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy…
In this paper, we firstly establish the weak laws of large numbers on the canonical space $(\br^\bn,\cb(\br^\bn))$ by traditional truncation method and Chebyshev's inequality as in the classical probability theory. Then we extend them from…
Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…
We show some simple sufficient conditions for which the multilinear embedding theorem holds for fractional sparse operators. By verifying these conditions, we establish the theorem for power weights. We also provide Morrey-type sufficient…
Assume $n\geq 2$. Consider the elementary symmetric polynomials $e_k(y_1,y_2,\ldots, y_n)$ and denote by $E_0,E_1,\ldots,E_{n-1}$ the elementary symmetric polynomials in reverse order \begin{align*}…
We provide a strengthened version of the famous Jakobson's theorem. Consider an interval map $f$ satisfying a summability condition. For a generic one-parameter family $f_t$ of maps with $f_0=f$, we prove that $t=0$ is a Lebesgue density…
A k-composition of n is a sequence of length k of positive integers summing up to n. In this paper, we investigate the number of k-compositions of n satisfying two natural coprimality conditions. Namely, we first give an exact asymptotic…
Inclusion dependencies form one of the most widely used dependency classes. We extend existing results on the axiomatization and computational complexity of their implication problem to two extended variants. We present an alternative…
We present three necessary separability criteria for bipartite mixed states, the violation of each of these conditions is a sufficient condition for entanglement. Some ideas on the issue of finding a necessary and sufficient criterion of…
McNamara and Pylyavskyy conjectured precisely which connected skew shapes are maximal in the Schur-positivity order, which says that $B\leq _s A$ if $s_A-s_B$ is Schur-positive. Towards this, McNamara and van Willigenburg proved that it…
This article establishes necessary and sufficient conditions under which a finite set of Generalized Shannon's Entropy (GSE) characterizes a finite discrete distribution up to permutation. For an alphabet of cardinality K, it is shown that…
Given a triangular array $\left\{X_{n,k}, \, 1 \leqslant k \leqslant n, n \geqslant 1 \right\}$ of random variables satisfying $\mathbb{E} \lvert X_{n,k} \rvert^{p} < \infty$ for some $p \geqslant 1$ and sequences $\{b_{n} \}$, $\{c_{n} \}$…
For smooth bounded pseudoconvex domains in $mathbb{C}^{2}$, we provide geometric conditions on (the points of infinite type in) the boundary which imply compactness of the $\bar{\partial}$-Neumann operator. It is noteworthy that the proof…
In this article, we formulate necessary and sufficient polynomial equations for the existence of a symmetry plane or an order-two axial symmetry for a totally symmetric tensor of order n $\ge$ 1. These conditions are effective and of degree…
We convert, within polynomial-time and sequential processing, NP-Complete Problems into a problem of deciding feasibility of a given system S of linear equations with constants and coefficients of binary-variables that are 0, 1, or -1. S is…
We characterize the parameters $(\alpha,\beta,p,q)$ for which the condition $f|x|^\alpha\in L^p$ and $\widehat{f}|\xi|^\beta\in L^q$ implies the validity of the Poisson summation formula, thus completing the study of Kahane and…
In this paper we discuss the existence of solutions to vectorial differential inclusions. We investigate sufficient conditions for existence, more flexible than those available in the literature, so that important applications can be fitted…
Let $G\cong \mathbb Z/m_1\mathbb Z\times\ldots\times \mathbb Z/m_r\mathbb Z$ be a finite abelian group with $m_1\mid\ldots\mid m_r=\exp(G)$. The Kemperman Structure Theorem characterizes all subsets $A,\,B\subseteq G$ satisfying…
Plausibility measures are structures for reasoning in the face of uncertainty that generalize probabilities, unifying them with weaker structures like possibility measures and comparative probability relations. So far, the theory of…
In this paper, we will prove some sufficient conditions for the solvability of groups.