Related papers: Bell numbers, log-concavity, and log-convexity
Bell inequalities were meant to test quantum mechanics vs local hidden variable models, but can also be used to verify entanglement. For entanglement verification purposes one assumes the validity of quantum mechanics as well as quantum…
A triangle $\{a(n,k)\}_{0\le k\le n}$ of nonnegative numbers is LC-positive if for each $r$, the sequence of polynomials $\sum_{k=r}^{n}a(n,k)q^k$ is $q$-log-concave. It is double LC-positive if both triangles $\{a(n,k)\}$ and…
The Kahane--Salem--Zygmund inequality for multilinear forms in $\ell_{\infty}$ spaces claims that, for all positive integers $m,n_{1},...,n_{m}$, there exists an $m$-linear form $A\colon\ell_{\infty}^{n_{1}}\times\cdots\times…
Bell's inequalities can be understood in three different ways depending on whether the numbers featuring in the inequalities are interpreted as classical probabilities, classical conditional probabilities, or quantum probabilities. In the…
We combinatorially prove that the number $R(n,k)$ of permutations of length $n$ having $k$ runs is a log-concave sequence in $k$, for all $n$. We also give a new combinatorial proof for the log-concavity of the Eulerian numbers.
Bell inequalities play a central role in certifying quantum correlations and underpin protocols such as device-independent quantum key distribution. However, enumerating all Bell inequalities for a given scenario remains intractable beyond…
It is known that the $S(n,k)$ Stirling numbers as well as the ordered Stirling numbers $k!S(n,k)$ form log-concave sequences. Although in the first case there are many estimations about the mode, for the ordered Stirling numbers such…
A sequence $\{ a_n \}_{n \ge 0}$ is said to be asymptotically $r$-log-convex if it is $r$-log-convex for $n$ sufficiently large. We present a criterion on the asymptotical $r$-log-convexity based on the asymptotic behavior of $a_n…
The question of how large Bell inequality violations can be, for quantum distributions, has been the object of much work in the past several years. We say that a Bell inequality is normalized if its absolute value does not exceed 1 for any…
We prove that a general class of measures, which includes $\log$-concave measures, is $\frac{1}{n}$-concave according to the terminology of Borell, with additional assumptions on the measures or on the sets, such as symmetries. This…
The Bell inequalities in three and four correlations are re-derived in general forms showing that three and four data sets, respectively, identically satisfy them regardless of whether they are random, deterministic, measured, predicted, or…
The violation of the Bell inequality is one of the hallmarks of quantum mechanics and can be used to rule out local deterministic alternative descriptions. We utilize the data analysis published by the LHCb collaboration on the helicity…
We solve the problem left in the recent paper by N. Gozlan et al [Potential Analysis 58, 2023, 123--158], establishing the semi-log-convexity of semigroups associated with ${\rm M}/{\rm M}/\infty$ queuing processes on the set of…
We establish the test which allows to show that a mean does not admit a weak-Hardy property. As a result we prove that Hardy and weak-Hardy properties are equivalent in the class of homogeneous, symmetric, repetition invariant, and Jensen…
We prove that the (B) conjecture and the Gardner-Zvavitch conjecture are true for all log-concave measures that are rotationally invariant, extending previous results known for Gaussian measures. Actually, our result apply beyond the case…
A sequence $\textbf{p}=(p_{n})$ of real numbers is called Abel convergent to $\ell$ if the series $\Sigma_{k=0}^{\infty}p_{k}x^{k}$ is convergent for $0\leq x<1$ and \[\lim_{x \to 1^{-}}(1-x) \sum_{k=0}^{\infty}p_{k}x^{k}=\ell.\] We…
Shape constraints yield flexible middle grounds between fully nonparametric and fully parametric approaches to modeling distributions of data. The specific assumption of log-concavity is motivated by applications across economics, survival…
We study operator log-convex functions on $(0,\infty)$, and prove that a continuous nonnegative function on $(0,\infty)$ is operator log-convex if and only if it is operator monotone decreasing. Several equivalent conditions related to…
Proofs of Bell's theorem and the data analysis used to show its violation have commonly assumed a spatially stationary underlying process. However, it has been shown recently that the appropriate Bell's inequality holds identically for…
A real sequence $(b_k)_{k=0}^\infty$ is called totally positive if all minors of the infinite matrix $ \left\| b_{j-i} \right\|_{i, j =0}^\infty$ are nonnegative (here $b_k=0$ for $k<0$). In this paper, we investigate the problem of…