The inequalities tag has no usage guidance.

**30**

votes

**1**answer

2k views

### An Entropy Inequality

Let $X,Y$ be probability measures on $\{1,2,\dots,n\}$, and set $K=\sum_i\sqrt{X(i)Y(i)}$ so that $Z:=\frac{1}{K}\sqrt{XY}$ is also a probability measure on $\{1,2,\dots,n\}$. How can we prove the ...

**0**

votes

**1**answer

269 views

### upper bound on infinite series by exponentials

I'm interested in upper bounding the following infinite series by exponential functions for x>1 (I would be fine with x>2 as well).
\begin{eqnarray*}
\sum_{n=1}^{\infty}e^{-\frac{x^2n^2}{2}}\\
...

**1**

vote

**1**answer

182 views

### Distance between the product of marginal distributions and the joint distribution

Given a joint distribution $P(A,B,C)$, we can compute various marginal distributions. Now suppose:
\begin{align}
P1(A,B,C) &= P(A) P(B) P(C) \\
P2(A,B,C) &= P(A,B) P(C) \\
P3(A,B,C) &= ...

**0**

votes

**1**answer

101 views

### An inequality involving multi-index

I came across these inequalities while learning about Schwartz functions (Classical Fourier Analysis, Grafakos) and I have no idea how to prove this:
For $x \in \mathbb{R}^{n}$ and $\alpha = ...

**7**

votes

**1**answer

538 views

### The Bombieri Vinogradov Theorem restricted to moduli divisible by $k$

The Bombieri-Vinogradov Theorem states that given $A>0$, there exists $B>0$ such that for $Q=\sqrt{x}\left(\log x\right)^{-B},$ we have $$\sum_{q\leq Q}\max_{y\leq x}\max_{\begin{array}{c}
...

**4**

votes

**1**answer

589 views

### An inequality involving operator and trace norms

Consider two square matrices $A, B \in \mathbb{R}^{n \times n}$ and let $\| \cdot\|_1$ and $\|\cdot\|$ be, respectively, the trace norm (the sum of singular values) and the usual operator norm (the ...

**14**

votes

**5**answers

1k views

### A Normal Distribution Inequality

Let $n(x) = \frac{1}{\sqrt{2\pi}} e^{-\frac{x^2}{2}}$, and $N(x) = \int_{-\infty}^x n(t)dt$. I have plotted the curves of the both sides of the following inequality. The graph shows that the following ...

**26**

votes

**1**answer

1k views

### Does a proof of Selberg's 3.2 inequality exist?

A well-known inequality of Montgomery and Vaughan (generalizing a result of Hilbert) states that
$$ \left |\sum_{r \neq s} \frac{w_{r} \overline{w_{s}} }{\lambda_r - \lambda_s} \right| \leq \pi ...

**34**

votes

**3**answers

3k views

### the following inequality is true，but I can't prove it

The inequality is
\begin{equation*}
\sum_{k=1}^{2d}\left(1-\frac{1}{2d+2-k}\right)\frac{d^k}{k!}>e^d\left(1-\frac{1}{d}\right)
\end{equation*}
for all integer $d\geq 1$. I use computer to verify ...

**6**

votes

**4**answers

1k views

### General bound for the number of subgroups of a finite group

I am interested in the following:
Let $G$ be a finite group of order $n$. Is there an explicit function $f$ such that
$|s(G)| \leq f(n)$ for all $G$ and for all natural numbers $n$, where $s(G)$ ...

**0**

votes

**1**answer

98 views

### What is the corresponding version in the complex space of this proposition got in the real space real

How can I transform the following proposition that is gotten in $real$ space into the corresponding one used in the $complex$ space,i.e.,$A\in C^{n\times n},x=(x_1,...,x_n)\in C^n$ ?
suppose that ...

**1**

vote

**3**answers

272 views

### how to proof this Stirling related equation

here is what I need to proof, have no idea were to start. I know there is some connection with the Stirling theorem.
$$
\sum_{i=0}^{d}\binom{m}{i} \leq \left ( \frac{em}{d} \right )^{d}
$$
I tried ...

**1**

vote

**0**answers

243 views

### Bounding a sum of binomial coefficients in terms of 'the next one'

I need to bound a sum of a portion of binomial coefficients in terms of "the next one", and understand what is the best which can be said in this sense.
Given a real number $t \geq 2$, call $P(t)$ ...

**1**

vote

**0**answers

177 views

### Placing Bounds on Correlation/Covariance Through Correlation with an Intermediate Variable

I am trying to make the most of computations that have already been performed in previous steps of an algorithm. Throughout this problem statement I am only mentioning correlation, but I think it is ...

**5**

votes

**1**answer

364 views

### A question on the Mahler conjecture

In its asymmetric version, the Mahler conjecture states that if $K \subset \mathbb{R^n}$ is a convex body containing the origin as an interior point and
$$
K^* := \{y \in \mathbb{R}^n : \langle y, x ...

**7**

votes

**1**answer

629 views

### A spectral inequality for positive-definite matrices

Question. Given a positive-definite $n \times n$ matrix $A = (a_{ij})$ with eigenvalues
$$
\lambda_1 \leq \cdots \leq \lambda_n ,
$$
is there a sharp upper bound for the product $\lambda_2 \cdots ...

**2**

votes

**0**answers

71 views

### Minimizing/Maximizing the tail of the convex combinations of Chi Squared i.i.d random variables

Consider $N$ i.i.d random variables, $X_{1}, X_{2}, \ldots, X_{N}$ , that are chi-squared of degree $K \geq 2$. Also consider the following 3 vectors:
\begin{eqnarray*}
\bar{a} &=& ...

**0**

votes

**1**answer

200 views

### Inequality of Partial Taylor Series

Hi,
For a given $\theta < 1$, and $N$ a positive integer, I am trying to find an $x > 0$ (preferably the smallest such $x$) such that the following inequality holds:
$$\sum_{k=0}^{N} ...

**15**

votes

**0**answers

501 views

### Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials

While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...

**3**

votes

**1**answer

371 views

### Chernoff-Hoeffding bound for complex values

Consider the Chernoff-Hoeffding bound, stated as follows: Let $X_1, \dots, X_K$ be i.i.d. real-valued random variables with expectation value
$\mu$ and satisfying $|X_i| \le b$.
Let $\epsilon > 0$. ...

**22**

votes

**1**answer

1k views

### What goes wrong for the Sobolev embeddings at $k=n/p$?

For $u\in W^{k,p}(U)$, where $U\subseteq\mathbb{R}^n$ is open and bounded with $C^1$-boundary, we have the celebrated Sobolev inequalities:
If $k < n/p$ then $u\in L^q(U)$ for $q$ satisfying ...

**1**

vote

**1**answer

352 views

### for what arguments the function reaches maximum?

Hi,
What is the maximum of the following function?:
$f(x_i,w_i)=\frac { \sum w_i}{ \sum \frac {w_i}{x_i} } - \frac{ 1 - \prod \left ( 1 - w_{i}\right )}{ 1 - \prod \left ( 1 - \frac{w_{i}}{ ...

**9**

votes

**2**answers

492 views

### The fraction of the sphere a fixed distance from a subspace

The following problem has a beautiful geometric interpretation in terms of the proportion of points on the Euclidean sphere in $\mathbb{R}^d$ that lie at least a certain distance away from a ...

**12**

votes

**5**answers

1k views

### Understanding Gibbs's inequality

Short version
Gibbs's inequality is a simple inequality for real numbers, usually
understood information-theoretically. In the jargon, it states that
for two probability measures on a finite set, ...

**2**

votes

**1**answer

433 views

### concentration inequality for averages of dependent random variables

Let $X \in R^n$ be a random vector such that
$$P(|X_i| > \epsilon) > e^{-\epsilon^2}$$
What is a tight bound on
$$P(\sum_{i=1}^n |X_i| > \epsilon)$$
and on
$$P(\max_{1\le i\le n} |X_i| ...

**7**

votes

**7**answers

869 views

### Almost-converses to the AM-GM inequality

Let us consider the Arithmetic Mean -- Geometric Mean inequality for nonnegative real numbers:
$$ GM := (a_1 a_2 \ldots a_n)^{1/n} \le \frac{1}{n} \left( a_1 + a_2 + \ldots + a_n \right) =: AM. $$
...

**0**

votes

**1**answer

257 views

### An interpolation inequality.

For all $s>0$ define for $\epsilon\in(0,1)$ the function:
\begin{equation}
g(\epsilon)=\sum_{k=0}^{\infty}(1+k)^s(\sqrt{1-\epsilon})^k.
\end{equation}
Prove that $\exists C>0$ and $\phi(s)$ such ...

**2**

votes

**1**answer

496 views

### Combinatorial Inequality

Consider a set of $2^n-1$ non negative integers $S= ${$ a_{i,j}|1\le i\le n; 1\le j\le 2^{i-1} $} such that:
\begin{align}{}
1.\ \ &a_{i,j}\le 2^{n+1-i} \\\\
2.\ \ &a_{i,j}\le a_{i-1,j} \\\\
...

**4**

votes

**1**answer

408 views

### Inequality on Trigonometric polynomials

My question comes from trying to understand a technical step in this paper by Bourgain.
Let $R,L$ be positive integers and let $f(x)=\sum_{|n|\leq RL}a_ne^{2\pi inx}$ be a trigonometric polynomial. ...

**1**

vote

**0**answers

112 views

### Multivariate polynomial with positive coefficients

This question was originally asked at stack exchange (http://math.stackexchange.com/questions/292922/multivariate-polynomial-with-all-coefficients-positive), but did not receive any feedback for more ...

**1**

vote

**2**answers

326 views

### Spherical Bessel functions

I wish to show that
$|j_n(x)| < \frac{1}{\sqrt{x}}$
for $n=0,1,2,\ldots$ and $x>0$, where $j_n$ is the spherical Bessel function of the first kind.
Experimenting with Matlab I am sure that ...

**0**

votes

**2**answers

649 views

### Efficient algorithm finding 'a' solution of system of linear inequalities

I'm working on rational number field $\mathbb{Q}$.
Is there an efficient algorithm finding a solution of system of linear inequalities?
In many computer algebra systems like Sage or Maple,
there ...

**2**

votes

**1**answer

243 views

### another diameter-perimeter-area inequality

Recently I learnt that $$
\inf\frac{diam(C)(per(C)-2diam(C))}{area(C)}=0$$ where the infimum is taken over all plane convex bodies $C$ (say, with non-zero area). In other words, there is no ...

**3**

votes

**2**answers

296 views

### a diameter-perimeter-area inequality for convex figures

Is the following inequality known? I believe it's true, but I could find no reference.
For any convex body $C$ in the plane
we have
$$\left(4-\frac{8}{\pi}\right)area(C)\leq
> ...

**3**

votes

**1**answer

300 views

### on an inequality of Brezis-Lieb

In their 1983 JFA paper Brezis and Lieb have shown, among many other things, a Poincaré-type inequality: in the case of a harmonic function $f$ on a bounded domain $\Omega$, their inequality ((3.14) ...

**16**

votes

**2**answers

417 views

### What is $A+A^T$ when $A$ is row-stochastic ?

This is motivated by this MO question.
If $A\in{\bf M}_n({\mathbb R})$ is row-stochastic (entrywise non-negative, and $\sum_j a_{ij}=1$ for all $i$), then $M:=A+A^T$ is
symmetric,
entrywise ...

**3**

votes

**2**answers

115 views

### a monotone relation for s-numbers

Assume $A, B$ are self-ajoint compact operators. Is it true that $\|A+iB\|\le \|2A+iB\|$? Do we have a stronger inequality $\prod_{k=1}^ns_k(A+iB)\le \prod_{k=1}^ns_k(2A+iB)$ or even stronger one ...

**0**

votes

**1**answer

153 views

### Convex functions: bounding the difference

Suppose you are given a convex function $f: R^d \rightarrow R$. Let us say you are given $x,x' \in R^d$ and $x_1, x_2, \ldots, x_n \in R^d$ such that
$$\sum_{i=1}^n (x_i - x') = x - x'.$$
Is it ...

**1**

vote

**1**answer

823 views

### How to solve this optimization with the orthogonal constraint?

Problem
Supposing that $A$ is a symmetric real matrix and $\{\mathbf{w}\_i\}_{i=1}^n$ is any orthogonal basis on $\mathbb{R}^n$ such that $W^\top W=WW^\top=\mathbf{I}_n$ where ...

**3**

votes

**1**answer

234 views

### A Wirtinger-like inequality involving two functions

Let $f(t)$ and $g(t)$ be periodic functions on $t\in[0,2\pi]$. By using the Fourier series of the two functions, we can easily prove the inequality
$$\left|\int_0^{2\pi}f(t)g'(t)dt\right|=
...

**3**

votes

**0**answers

157 views

### Upper bound on integrals of Legendre polynomials

Hi,
If $P_n(x) $ is unnormalized shifted Legendre polynomial, and $g_{n,m}(x) = \int_0^x P_n(x_1)x_1^m dx_1, n>m $ then what is the upper bound $ |g_{n,m} (x)|_{max} , x\in (0,1) $ as a function ...

**-1**

votes

**2**answers

362 views

### On a inequality [closed]

I hope the following kind of inequality holds: let $a_i,b_i\in R$ with $b_i>0$, $\sum _{i=1}^mt_i=1$ with $t_i>0$, then
...

**0**

votes

**1**answer

191 views

### a simple probability inequality

For independent Rademacher random variables $\epsilon_i, i=1,2, \cdots, n$, i.e. $P(\epsilon_i=-1)=P(\epsilon_i=1)=\frac{1}{2}$, do we have
$$max_{0\le a_i\le b, ...

**6**

votes

**2**answers

274 views

### Inequality involving the weak second moment

I want to ask the following probability inequality:
Is it true that for any random variable $X\ge 0$, we have
$$
\sup_{t>0}(t\mathbb E(X\mathbf 1_{X\ge t}))
\le
2\sup_{t>0}(t^2 \mathbb P(X ...

**3**

votes

**0**answers

335 views

### A curious inequality

Let $r_k>0$ for $k = 1,\ldots, n$, let $\alpha_k, \beta_k\in \mathbb{R}$ be given such that
$|\alpha_k|\le \beta_k\le \frac{\pi}{2}$. Suppose further that
...

**0**

votes

**0**answers

210 views

### A Multiplicative version of McDiarmid's Inequality like the one of Chernoff-Hoeffding Bounds

McDiarmid's Inequality basically says the following:
Let $X_1, X_2, X_3, \ldots, X_n$ denote independent random variables and $f$ is a function of $n$ real arguments. If changing the value of the ...

**1**

vote

**1**answer

153 views

### An upper bound on a simple sum

Hi,
I am trying to put a bound on a sum. Given $\omega=\exp(2\pi i/3)$ and $n$ positive real numbers
$ 0=\tau_0 < \tau_1 < \tau_2 < ...\tau_{n-1}< \tau_n=1 $
such that
...

**4**

votes

**1**answer

293 views

### Trajectorial version of Doob's $L^2$ inequality

In the paper http://www.mat.univie.ac.at/~schachermayer/pubs/preprnts/prpr0154.pdf
you can find a trajectorial version of Doob's inequality. It is given by:
...

**2**

votes

**1**answer

591 views

### Are there such numbers?

Maybe better to ask for help on this question here: Are there eight numbers $0< x_{1},\ldots,x_{4},y_{1},\ldots,y_{4}<1$,
such that
$$
...

**0**

votes

**1**answer

272 views

### Inequalities Involving Wedge Product (Reference Request)

Hello,
I'm looking for references on various inequalities involving the wedge product and exterior forms. The only references I could hunt down are references on Hadamard-Schwarz Inequality. The ...