The inequalities tag has no wiki summary.

**0**

votes

**0**answers

25 views

### Column Inner Products vs. Row Inner Products

Given two matrices $A,B\in\mathbb{R}^{n\times r}$ where $A$ has orthogonal columns and $A^TB$ is symmetric, are there any non-trivial interesting relationships / inequalities between the following ...

**1**

vote

**2**answers

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

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

120 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

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

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

**4**

votes

**0**answers

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

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

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

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

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

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

**3**answers

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

**21**

votes

**0**answers

407 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 + ...

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

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

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

**5**

votes

**2**answers

258 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

30 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}}
...

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

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

**3**

votes

**1**answer

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

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

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

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

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

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

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

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

**1**

vote

**2**answers

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

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

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

**1**

vote

**2**answers

357 views

### More recently published comprehensive reference on inequalities in the spirit of Hardy-Littlewood-Pólya

Is there a comprehensive reference book on inequalities in the
spirit of the one written by G.H. Hardy, J.E. Littlewood, and G. Pólya(*), but more up-to-date (i.e., published in more recent years and ...

**4**

votes

**1**answer

133 views

### Symmetric inequality on generalized means

Do there exist two functions $f$ and $g$ continuous and strictly increasing $[0,1] \to \mathbf{R}$ such that
$$ f^{-1}\left(\frac{1}{3} f(x) + \frac{2}{3} f(y)\right)<g^{-1}\left(\frac{1}{3} g(x) + ...

**2**

votes

**1**answer

79 views

### Bounds on Hilbert-Schmidt norm of difference of products of matrices

I suspect the following is well-known, but don't know of a reference (and it is not close to the area I normally work in).
I have two sequences of matrices $Q_{1},\ldots,Q_{k}$ and ...

**5**

votes

**0**answers

101 views

### An inequality concerning non-negative integer matrices with constant row and column sums

[I posted this question on math.stackexchange a few weeks back, but no luck there so far: ...

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

**5**

votes

**2**answers

195 views

### Rademacher average based Hoeffding Inequality

I am following these lecture notes:
Given the i.i.d. $\mathcal{Z}$-valued random variables $Z_1,\dotsc,Z_m$ and $\mathcal{G}$ is a set of bounded functions $g\colon \mathcal{Z}\to[a,b]$.
Corollary ...

**6**

votes

**1**answer

108 views

### Inequality of the norm of the convolution in $L^p(\mathbb{R}^n)$ with symmetric decreasing rearrangement?

Is it true that
$$
||f*g||_p \le ||\,|f|^* * |g|^*||_p\quad ?
$$
where $|f|^*$ and $|g|^*$ are the symmetric decreasing rearrangements of the functions $|f|$ and $|g|$. Under what conditions on $f$ ...

**0**

votes

**1**answer

146 views

### Proving a complicated inequality with powers of logarithms

I am currently formalising some results from complexity theory with a theorem prover. For that, I have to prove the following statement:
Let $p, b, \varepsilon \in \mathbb R$ with $\varepsilon>0$ ...

**0**

votes

**1**answer

46 views

### Characterisation of a matrix ordering property

Let $n$ be a positive integer; we consider all matrices mentioned henceforth to be $n$-by-$n$ matrices. Let $A$ and $B$ be matrices wherein all entries are nonnegative (such matrices will be called ...

**7**

votes

**1**answer

206 views

### Proving a certain $ C^{*} $-algebraic inequality

Let $ A $ be a non-unital $ C^{*} $-algebra. Is there an ‘elementary’ way to prove, for all $ (a,\lambda) \in A \times \mathbb{C} $, the inequality
$$
|\lambda| \leq \sup_{b \in A, ~ \| b \| \leq 1} ...