Skip to main content
added 235 characters in body
Source Link

Suppose that, we have some real numbers $r_1,r_2,\dots,r_m \in [0,1]$; and we study a sum, $$ S_1= \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i), $$ for $f:[0,1]\to[0,1]$ a concave bijection. Now, take another sequence $z_1,\dots,z_n\in [0,1]$ with $r_i\geq z_i$ for $i=1,2,\dots,m$.

Can we prove or disprove, $$ S_1 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i) \geq S_2 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(z_i)? $$ In case, does it depend on the very function $f(\cdot)$ (for instance, can we say something, for $f(x)=x(2-x)$). Also, for $f(x)=x$.

Apparently I've overly-generalized this. I simply need; $f(x)=x$ , $z_i=r_i^2,\forall i$. In fact I have some monotonicity between $r_i$'s; but I guess that is a bit irrelevant ($1\geq r_1 \geq r_2 \geq \cdots \geq r_m\geq 0$).

I tried to pull some results from majorization; but the presence of annoying signs makes it somehow untouchable. Any help is appreciated!

Suppose that, we have some real numbers $r_1,r_2,\dots,r_m \in [0,1]$; and we study a sum, $$ S_1= \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i), $$ for $f:[0,1]\to[0,1]$ a concave bijection. Now, take another sequence $z_1,\dots,z_n\in [0,1]$ with $r_i\geq z_i$ for $i=1,2,\dots,m$.

Can we prove or disprove, $$ S_1 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i) \geq S_2 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(z_i)? $$ In case, does it depend on the very function $f(\cdot)$ (for instance, can we say something, for $f(x)=x(2-x)$). Also, for $f(x)=x$.

I tried to pull some results from majorization; but the presence of annoying signs makes it somehow untouchable. Any help is appreciated!

Suppose that, we have some real numbers $r_1,r_2,\dots,r_m \in [0,1]$; and we study a sum, $$ S_1= \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i), $$ for $f:[0,1]\to[0,1]$ a concave bijection. Now, take another sequence $z_1,\dots,z_n\in [0,1]$ with $r_i\geq z_i$ for $i=1,2,\dots,m$.

Can we prove or disprove, $$ S_1 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i) \geq S_2 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(z_i)? $$ In case, does it depend on the very function $f(\cdot)$ (for instance, can we say something, for $f(x)=x(2-x)$). Also, for $f(x)=x$.

Apparently I've overly-generalized this. I simply need; $f(x)=x$ , $z_i=r_i^2,\forall i$. In fact I have some monotonicity between $r_i$'s; but I guess that is a bit irrelevant ($1\geq r_1 \geq r_2 \geq \cdots \geq r_m\geq 0$).

I tried to pull some results from majorization; but the presence of annoying signs makes it somehow untouchable. Any help is appreciated!

added 19 characters in body
Source Link

Suppose that, we have some real numbers $r_1,r_2,\dots,r_m \in [0,1]$; and we study a sum, $$ S_1= \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i), $$ for $f:[0,1]\to[0,1]$ a concave bijection. Now, take another sequence $z_1,\dots,z_n\in [0,1]$ with $r_i\geq z_i$ for $i=1,2,\dots,m$.

Can we prove or disprove, $$ S_1 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i) \geq S_2 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(z_i)? $$ In case, does it depend on the very function $f(\cdot)$ (for instance, can we say something, for $f(x)=x(2-x)$). Also, for $f(x)=x$.

I tried to pull some results from majorization; but the presence of annoying signs makes it somehow untouchable. Any help is appreciated!

Suppose that, we have some real numbers $r_1,r_2,\dots,r_m \in [0,1]$; and we study a sum, $$ S_1= \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i), $$ for $f:[0,1]\to[0,1]$ a concave bijection. Now, take another sequence $z_1,\dots,z_n\in [0,1]$ with $r_i\geq z_i$ for $i=1,2,\dots,m$.

Can we prove or disprove, $$ S_1 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i) \geq S_2 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(z_i)? $$ In case, does it depend on the very function $f(\cdot)$ (for instance, can we say something, for $f(x)=x(2-x)$).

I tried to pull some results from majorization; but the presence of annoying signs makes it somehow untouchable. Any help is appreciated!

Suppose that, we have some real numbers $r_1,r_2,\dots,r_m \in [0,1]$; and we study a sum, $$ S_1= \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i), $$ for $f:[0,1]\to[0,1]$ a concave bijection. Now, take another sequence $z_1,\dots,z_n\in [0,1]$ with $r_i\geq z_i$ for $i=1,2,\dots,m$.

Can we prove or disprove, $$ S_1 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i) \geq S_2 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(z_i)? $$ In case, does it depend on the very function $f(\cdot)$ (for instance, can we say something, for $f(x)=x(2-x)$). Also, for $f(x)=x$.

I tried to pull some results from majorization; but the presence of annoying signs makes it somehow untouchable. Any help is appreciated!

Source Link

Can this sum be majorized?

Suppose that, we have some real numbers $r_1,r_2,\dots,r_m \in [0,1]$; and we study a sum, $$ S_1= \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i), $$ for $f:[0,1]\to[0,1]$ a concave bijection. Now, take another sequence $z_1,\dots,z_n\in [0,1]$ with $r_i\geq z_i$ for $i=1,2,\dots,m$.

Can we prove or disprove, $$ S_1 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(r_i) \geq S_2 = \sum_{i=1}^m \binom{m}{i}(-1)^{i-1}f(z_i)? $$ In case, does it depend on the very function $f(\cdot)$ (for instance, can we say something, for $f(x)=x(2-x)$).

I tried to pull some results from majorization; but the presence of annoying signs makes it somehow untouchable. Any help is appreciated!