The inequalities tag has no wiki summary.

**2**

votes

**1**answer

87 views

### Lower bound for $ \sum_{i=1}^n x_i f(x_i)$ when $\sum_{i=1}^{n}x_i = K$

Considering,
the set of all n dim. vectors $\{x_i\}_{i=1,...,n} $ such that $x_i \geq 0 $ and $\sum_{i=1}^{n}x_i = K$
Any continuous and strictly increasing function $f^+(x)$ : $ \mathbb R^+ \to ...

**28**

votes

**3**answers

2k views

### A curious determinantal inequality

In my study, I come across the following curious inequality, which I do not know a proof yet (so I am asking it here).
Let $A, B$ be $n\times n$ (Hermitian) positive definite matrices. It is very ...

**29**

votes

**4**answers

7k views

### Is the Jaccard distance a distance?

Wikipedia defines the Jaccard distance between sets A and B as $$J_\delta(A,B)=1-\frac{|A\cap B|}{|A\cup B|}.$$ There's also a book claiming that this is a metric. However, I couldn't find any ...

**4**

votes

**0**answers

112 views

### Do more generalizations of Schur's inequality exist?

I meet this following problem
If $$n\ge 3,\sum_{i=1}^{n}\left(\prod_{j\neq i}(a_{i}-a_{j})\right)\ge 0$$
where $a_{i}$ are real numbers.
when $n=3$, it is Schur's inequality
so which $n$ ...

**10**

votes

**0**answers

115 views

### When is alternating sum $\sum_{i}f(a_i)-\sum_{i<j}f(a_i+a_j)+\ldots+(-1)^{n-1}f(a_1+\ldots+a_n)$ always positive?

Let $a_1,a_2,\ldots,a_n\geq 1$, and let $f:\mathbb{R}^+\rightarrow\mathbb{R}^+$. Consider the sum
...

**1**

vote

**1**answer

41 views

### An inequality with critical Sobolev exponent

Let $\Omega\subset \mathbb{R}^n, n\geq 3$ be a nice bounded domain and $2^*=2n/(n-2)$ the critical Sobolev exponent. One may expect that $\forall \epsilon>0$, $\exists C_\epsilon<\infty$ such ...

**8**

votes

**1**answer

269 views

### Generalization of Popoviciu's inequality

Popoviciu's inequality states that for convex $f$ and numbers $x_1,x_2,x_3$, we have
$f(x_1)+f(x_2) + f(x_3) + 3\cdot f(\frac{x_1+x_2+x_3}3) \geq 2\cdot f(\frac{x_1+x_2}2)+2\cdot ...

**4**

votes

**0**answers

126 views

### inequality in a shape of inclusion exclusion formula

I have two inequalities to show, both of which describe some probabilities. First I know how to handle, and it follows from applying arithmetic-harmonic mean inequality:
consider 9 numbers ...

**2**

votes

**1**answer

155 views

### An elementary functional inequality

Let $g$ be a $C^1$ function with $g(0)=0$ and $g(t)>0$ for all $t>0$. I am surprised that for all such $g$ the following seems to hold
$\frac{\int_0^t(g'(s))^2ds}{g^2(t)}\geq \frac{1}{t}$ for ...

**12**

votes

**1**answer

734 views

### A delicate elementary inequality

The following "piecewise-quadratic" inequality emerged in a joint work of Rom
Pinchasi and myself. The inequality is surprisingly delicate, and all our
attempts to simplify it made it false. By the ...

**4**

votes

**1**answer

513 views

### Number of solutions in a sum of squares Diophantine equation

Let $n$ be an integer. I'm interested in upper bounding the number of integer solutions of
\begin{equation*}
x_1^2+x_2^2+\ldots+x_p^2=y_1^2+y_2^2+\ldots+y_p^2,
\end{equation*}
where for all ...

**1**

vote

**0**answers

109 views

### Why hexagons? The maximal minimum of a sum of cosines on the plane with frequencies on the unit circle

We wish to maximize the minimum of a weighted sum of cosines in the plane, when the frequency components are on the unit circle. Formally:
$$\max_{\{ a_i,\theta_i,\phi_i \}_{i=1}^{N} } \min_{(x,y) ...

**-1**

votes

**0**answers

74 views

### Proving an inequality involving integer polynomial [migrated]

So we've got an integer polynomial $P$, and all we know about it is that $P(1) = 1$, $P(2) = 2$, and also $P(100) = -k$, where $k \in \mathbb{Z},\, k \geqslant 0$ - some unknown constant, which will ...

**0**

votes

**1**answer

37 views

### Lower bound on Spectral Gap of Rank one + Diagonal

For some $x\in\mathbb{R}^n, \|x\|_2^2=1$ and $\alpha\geq 0$, consider the positive semi-definite matrix
$$
X_\alpha := xx^T + \alpha\sum_{k=1}^nx_k^2e_ke_k^T.
$$
Suppose for simplicity that the ...

**1**

vote

**2**answers

181 views

### Entropy inequality

Let $P,Q$ be probabilities on a finite set $A$ with $Q(a)\gt 0$, for all $a\in A$, and let $H(P),H(Q)$ denote the entropy and Kullback-Leibler distance respectively.
Is it always true that
...

**2**

votes

**2**answers

196 views

### If $A>B>0$, can we always find a positive real number $\alpha$, $0<\alpha < 1$ such that $\alpha A \geq B $?

Suppose we have positive-definite matrices $A$, $B$, if $A>B>0$, can we always find a positive real number $\alpha$, $0<\alpha < 1$ such that $ \alpha A \geq B $? If it has, then what ...

**14**

votes

**2**answers

1k views

### An $L^0$ Khintchine inequality

Suppose that $\epsilon_1,\epsilon_2,\ldots$ are IID random variables with the Bernoulli distribution $\mathbb{P}(\epsilon_n=\pm1)=1/2$, and $a_1,a_2,\ldots$ is a real sequence with $\sum_na_n^2=1$. ...

**14**

votes

**1**answer

201 views

### Zinn's “doubling” conjecture on weighted sums of independent Rademacher random variables

Let $a_1,\dots,a_n$ be real numbers such that $a_1^2+\dots+a_n^2=1$. Let $\eta_1,\dots,\eta_n$ be independent Rademacher random variables (r.v.'s), so that $P(\eta_i=\pm1)=\frac12$ for all $i$. Let ...

**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 ...

**6**

votes

**3**answers

350 views

### Derivatives of radial functions can be bounded by derivatives in terms of radial distance?

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$,
and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$.
Prove or disprove the following.
Given any ...

**14**

votes

**3**answers

367 views

### An inequality for two independent identically distributed random vectors in a normed space

Suppose that $X$ and $Y$ are independent identically distributed random vectors in a separable Banach space $B$. Does it always follow that $E\|X-Y\|\le E\|X+Y\|$?
Some background information on ...

**35**

votes

**4**answers

2k views

### The sum of squared logarithms conjecture

I am searching for the first proof of (or counterexample to) the following conjecture.
(The sum of squared logarithms conjecture)
For all natural numbers $n$ and positive numbers $x_1,x_2, \ldots , ...

**3**

votes

**1**answer

83 views

### Concentration and Correlation for Magnitudes of Gaussian Vectors

Suppose we have a large collection of standard normal random variables $a_i\in\mathbb{R}^n$. We know by standard concentration results that if we take $m \geq C\left(t/\epsilon\right)^2n$ samples, ...

**21**

votes

**0**answers

405 views

### Finding a path through real rooted polynomials

This is a lemma I wanted in order to solve Patrizio Neff's conjecture. It turned out to be the wrong way to think about it, but I am still curious if it is true.
Let $z^n+a_{n-1} z^{n-1} + \cdots + ...

**1**

vote

**0**answers

40 views

### Bounds on the spherical measure of sub-level sets of quadratic forms

I'm wondering if there are any bounds on the spherical measure of sets of the form
$$
\mu_n\left(\{y\in S^{n-1} : \frac{y_1^2}{y_2^2} < \alpha\}\right) \leq f(\alpha)
$$
where $\alpha$ is some ...

**0**

votes

**0**answers

40 views

### Solving nonlinear inequality that involves norm2 operator

I have an equation of the form
$$ \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \norm{\mathbf{Z} \left[ \sum_{n = 0}^{N - 1} (-1)^n \psi^n \mathbf{C}^n \right] \mathbf{q} }^2 \leq |p|^2, $$ where ...

**0**

votes

**0**answers

46 views

### Completing Karlin's proof of variation diminishing transformation theorem

In S Karlin's book total positivity there's a theorem
that says if $K(x,y)$ is $TP_r$ (totally positive with degree $r$) and the sign change count of function $h$, $S(h) = n\leq r-1$,
then ...

**5**

votes

**2**answers

256 views

### Minimum of squared sum minus sum of squares

I know that
$$
\min_{\|x\|_2=1=\|y\|_2} \left(\sum_{k=1}^nx_ky_k\right)^2-\sum_{k=1}^nx_k^2y_k^2 \geq -1/2
$$
with equality whenever $|x_k|=\frac{1}{\sqrt{2}}=|y_k|$ for two coordinates.
I'm ...

**2**

votes

**0**answers

29 views

### Finding an explicit constant in finite element error estimates

Background: In a finite element approximation to the solution of a linear PDEs, estimates on the order of convergence of the approximation to the solution rely on a theorem of Bramble and Hilbert ...

**19**

votes

**1**answer

298 views

### Maximum height of intersection of triangles

I'd like some advice regarding the following question, which I have been struggling with for long time.
Let's call the shaded region in the below $S_3$. It is the union of three congruent isosceles ...

**3**

votes

**0**answers

64 views

### Maximizing the discrepancy in Jensen's inequality for a certain function

Let $\underline{b}=\{b_1,\dots,b_n\}$ be a fixed sequence of positive numbers, and let $a>0$ be a parameter.
Define
$$
D(a;\underline{b}):=\frac{1}{\frac{1}{na}+\frac{1}{\sum_{i=1}^n b_i}}
...

**5**

votes

**1**answer

329 views

### Is the conditional expectation a contraction in weak $\mathbb L^p$ spaces?

Let $(\Omega,\mathcal F,\mu)$ be a probability space. It is well-known that if $\mathcal A$ is a sub-$\sigma$-algebra of $\mathcal F$, $p\geqslant 1$ and $X$ is an element of $\mathbb L^p$ which takes ...

**10**

votes

**1**answer

525 views

### Inequality regarding sum of gaussian on lattices

When S is a subset of an inner product space, let d(S) denote ${\sum\limits_{s \in S} e^{- \langle s,s \rangle}}$
Suppose L is a discrete additive subgroup of $\mathbb{R^n}$, M is a subgroup of L, ...

**12**

votes

**5**answers

3k views

### Upper bounds for the sum of primes <= n

Let $s(n)$ denote the sum of primes less than or equal to n. Clearly, $s(n)$ is bounded from above by the sum of the first $n/2$ odd integers $+1$. $s(n)$ is also bounded by the sum of the first $n$ ...

**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
$$
...

**1**

vote

**1**answer

48 views

### local bernstein type inequality for multivariate polynomials

Let's say $p(x_1,...,x_n)$ is an n-variate degree d homogenous polynomial. Assume $U \subset S^{n-1}$ and $ vol(U) > 0 $ is there any Bernstein type inequality saying
$$ \max_{x \in U , y \in ...

**4**

votes

**1**answer

123 views

### Hardy-Littlewood-Sobolev inequality using fractional sobolev norm on the RHS

Using Hardy-Littlewood-Sobolev inequality, we can prove that:
$$\left| \int_0^1\int_0^1 |x-y|^{-\frac{1}{2}} f(x)f(y) \mathrm{d}x \mathrm{d}y \right| \leq C \left\| f \right\|_{L^{4/3}(0,1)}^2 \leq C ...

**1**

vote

**2**answers

226 views

### Variance of truncated normal distribution

Let $ X \sim \mathcal{N} ( \mu, \sigma^2 ) $, $ - \infty \leqslant a < b \leqslant +\infty $ ($ a, b \ne \infty $ simultaneously) and $ Y $ has a truncated normal distribution on $ (a, b )$, i.e. ...

**6**

votes

**3**answers

305 views

### Is $1/\max(i,j)$ a bounded matrix on Hilbert spaces?

I would like to know if the infinite matrix $[\frac{1}{\max(i,j)}]_{i,j\geq 1}$ represents a bounded operator on $\ell^2(\mathbb{N}^\star)$.
It would be sufficient to know if the Lehmer matrix ...

**3**

votes

**1**answer

186 views

### A Poincare-Type Inequality and its generalization

Let $f(\theta)$ be a fixed positive $2\pi-$periodic $C^1$ function on $\mathbb{R}$ with $$\int_0^{2\pi}f(\theta)\cos\theta d\theta=\int_0^{2\pi}f(\theta)\sin\theta d\theta=0,$$
Does for any ...

**3**

votes

**1**answer

77 views

### generalized mean inequality extension

from generalized inequality, we now that for $p>q$, we have $M_p(\mathbf{x})\ge M_q(\mathbf{x})$. now I am curious to know if we can find a constant $\alpha(p,q)$ which is only function of $p,q$ ...

**9**

votes

**2**answers

208 views

### A “quadratic” triangular inequality

In a Euclidian space (Hermitian as well), say $\ell^2_n$, the following inequality holds true
$$(QI)\qquad |b|\cdot|c-a|\le|c|\cdot|a-b|+|a|\cdot|b-c|,\qquad\forall a,b,c\in\ell^2_n.$$
In other words, ...

**1**

vote

**1**answer

189 views

### Computing probability that $Ax\geq0$ where $x$ is a vector of iid gaussians and $A$ is matrix of $1$s and $0$s

This question came up in my research: What is the probability that $Ax\geq0$ where $x$ is a vector of iid gaussians and $A$ is matrix of $1$s and $0$s?
So far I only figured out that I can do Monte ...

**1**

vote

**1**answer

89 views

### A differential inequality and a special value

Let $G \colon [0,1] \to [0,1]$ be a monotonically decreasing function with $G(0) = 1$ and $G(1) = 0$. Suppose that $G$ is differentiable infinitely many times, and that: $$G(x)G''(X) \leq ...

**2**

votes

**2**answers

176 views

### Estimating a Selberg-type integral (or a Fredholm determinant)

I am concerned with the asymptotical behavior of integrals like this for large $n$
$$\frac{1}{n!}\intop_{\Omega}\prod_{1\leq i<j\leq n}(x_{j}-x_{i})^{2}\,\prod_{j=1}^{n}e^{-x_{j}^{2}}dx_{j},$$
...

**6**

votes

**1**answer

155 views

### Upper bound for a Selberg-type integral over a rectangular region

(Cross-posted from math-SE).
I am trying to estimate the values of the following integral for large $n$,
$$\frac{1}{n!}\intop_{\Omega}\prod_{1\leq i<j\leq ...

**2**

votes

**0**answers

102 views

### Inverse Ackermann Function

The inverse Ackermann function is defined over the natural numbers as follows: ($[x]$ means that we round up x to the nearest integer, while $\log^*$ is the iterated log function discussed here: ...

**0**

votes

**0**answers

38 views

### Tail inequality for orthomartingales/martingale difference random fields

It is known that if $(S_i= \sum_{j \leqslant i }X_i, \mathcal F_i)$ is a martingale,
then for each
$
\beta>1$, $\delta\in (0,\beta-1)$ and $\lambda>0$, and each integer $N \geqslant 1$, the ...

**6**

votes

**1**answer

470 views

### Bound on the sum of arguments

Problem: Show that for all real $s,t,u$ and all complex $z$ with $|z|<1$ one has
$$(*)\qquad \arg\frac{1-zf(s-u)}{1-zf(s+u)}
+\arg\frac{1-zf(t+u)}{1-zf(t-u)}<\pi,
$$
where $f$ is the ...

**1**

vote

**0**answers

57 views

### What are good bounds on ratios of subdeterminants?

Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...