The tag has no usage guidance.

learn more… | top users | synonyms (1)

14
votes
3answers
607 views

An inequality improvement on AMM 11145

I have asked the same question in math.stackexchange, I am reposting it here, looking for answers: How to show that for $a_1,a_2,\cdots,a_n >0$ real numbers and for $n \ge 3$: ...
6
votes
1answer
334 views

Inequality for the maximum of Gaussian variables

Let $X=(X_1,\dots,X_n)$ and $Y=(Y_1,\dots,Y_n)$ be centered Gaussian vectors with variance matrix $\Gamma_X$ and $\Gamma_Y$. We assume that the matrix $\Gamma_Y-\Gamma_X$ is positive definite. Is it ...
2
votes
1answer
85 views

Complexity of Deciding Feasibility of a system of linear inequalities over restricted variables

I am working out an interesting problem and would like some help with this particular sub problem: Suppose we have a matrix $ M =\left\lbrace a_{ij}\right\rbrace $ of size $n\times m$ where $ ...
0
votes
0answers
72 views

Brunn-Minkowski Inequality : References request or A Particular Example of a 2 dimensional set

I had this question on Mathematics StackExchange unanswered for a month or so. Hence, it came here which it seems is a more natural place. I have an inequality - $(R_{C+D})^{2} \geqslant (R_{C})^{2} ...
1
vote
2answers
259 views

Looking for (information about) long diamonds

I was given an open problem as a birthday present recently. While I can probably handle spoilers at this point, what I really want are literature and other references. Also acceptable would be ...
8
votes
0answers
88 views

Which ordering of factors is needed to obtain this kind of determinantal inequalities?

Let $A$ and $B$ be $n\times n$ Hermitian positive definite matrices. The curious determinantal inequality given here, which can be stated as $$\det (A^{4}+ ABBA+BAAB+B^{4})\ge\det(A^{4}+ ...
2
votes
3answers
398 views

Hard inequality and number theory [closed]

Let $m,n \in \mathbb{N}$ and $m \geq n \geq 2$ and $x_1,x_2,...x_n \in \mathbb{N}_{\geq 1}$ such as $x_1+x_2+...+x_n=m$. Find $\min P$ with $P= \sum_{i=1}^{n} x_i^2.$
0
votes
1answer
128 views

For a set of positive integers, is this inequality always true?

The input consists of a set of positive integers $\{b_1,...,b_2\}$ such that $$\sum_{i=1}^nb_i=CK,$$ with $C$ and $K$ two positive integers. The question is the following, is there $k\in\{1,...,n\}$ ...
7
votes
1answer
245 views

Exchange determinant and integral of a matrix-valued function

Assume $A(x)=(a_{ij}(x))_{k\times k}$ is a Hermitian matrix function on some manifold $M$, is there any inequality relates the integral of its determinant $\int_M det(A)$ and the determinant of its ...
2
votes
1answer
96 views

Proof of Binet-Cauchy identity through the polarization transformation [closed]

This questions is motivated by exercise 3.7 in Steele's "The Cauchy-Schwarz Master Class." This is not a homework (I am trying to learn some math by myself) and I have already posted the question on ...
2
votes
0answers
93 views

Intuitive (?) inequality extremal inequality

Consider $N$ pairs of random variables $(X_i, Y_i)$. $X_i$ are iid, with $EX_i=0$ and $EX_i^2=1$. The same conditions hold for $Y_i$. Moreover all $X_i$ are independent of all $Y_j$. It seems very ...
0
votes
0answers
145 views

Asymptotics to Taylor expansions?

I posted a question on MSE about approximating Taylor series but Despite a bounty I did not receive any answers or comments. Maybe you guys can help. ...
2
votes
1answer
73 views

interpret of Picone inequality for non-regular functions

Assume $\Omega \subset \mathbb{R}^N$, $ N>4 $ is open set. There is a well-known picone identity that says Let $u,v \in C^2(\Omega)$ satisfy $v>0$ and $-\Delta v \geq 0$ in $\Omega$. The ...
2
votes
1answer
130 views

maximal inequalities for dependent random variables

I want to know literature about maximal inequalities for dependent random variables i.e. upper bound for $P(\max_{n\ge k\ge 1}\sum_{i=1}^{k}X_i > \delta)$ where $X_i$ are dependent random ...
-3
votes
1answer
618 views

How i show this beautiful inequality :$\frac{x^n}{x^m+y^m}+\frac{y^n}{y^m+z^m}+\frac{z^n}{z^m+x^m}\geq \frac{3} {2}(\frac{1}{\sqrt{3}})^{n-m}$? [closed]

This question accross to this question from SE which there some answers but they r n't enough to me hop to see MO what can they say about it . let $m,n$ be integers, show that if $ n>m\geq 0 $ : ...
3
votes
0answers
153 views

Dynamics of an inequality

The dynamics $D\ni(r_i,r_{i+1})\mapsto(r_{i+1},r_{i+2})\in D$ on the set $D:=\{(x,y)\in\mathbb{R}^2\colon x>0,y>x^2/2\}$ is given by the recurrence $$r_{i+2}=\frac{r_{i+1}^2}2+\frac1{r_{i+1}^3} ...
21
votes
3answers
1k views

Curious inequality

Set $$ g(x)=\sum_{k=0}^{\infty}\frac{1}{x^{2k+1}+1} \quad \text{for} \quad x>1. $$ Is it true that $$ \frac{x^{2}+1}{x(x^{2}-1)}+\frac{g'(x)}{g(x)}>0 \quad \text{for}\quad x>1? $$ The ...
2
votes
0answers
136 views

$\frac{1}{2}<\sigma<1$, is $f(n) = \Bigl| \,1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr|$ from $O(\log n)$?

We have $\frac{1}{2} < \sigma < 1$ and $$ f(n) = \Bigl|\, 1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr| $$ . My goal is proving this statement that $|f(n)|$ is ...
4
votes
1answer
421 views

inequality with exponents

We are given a graph $G$, each vertex $v$ has an assigned value $\gamma_v\in [0,1]$, and it happens that for every $v$ we have $\gamma_v+\sum_{u\in \delta(v)} \gamma_u = 1$. Assume that $\sum_v ...
3
votes
1answer
172 views

Gagliardo Nirenberg inequality for the laplacian

It is a classical result due to Gagliardo and Nirenberg that there exists a constant C such that it holds $$ ||\nabla \psi|| _{L ^\infty (\mathbb{R}^2)} ^2 \le ||D ^2 \psi|| _{L ^\infty ...
0
votes
1answer
98 views

Forbidden Tripartite Graphs

I was looking at extremal graph theory. I have understood the proofs of upper bounds for the Zarankiewicz problem which basically states: What can you say about the edges of a graph with $n$ vertices ...
0
votes
0answers
91 views

Integral inequality with Hardy's inequality

Let $f\in C_{0}^{\infty}((-1,1))$. Prove that for any $t\in (-1,1)$ we have $$(f(t))^4\le ...
0
votes
0answers
104 views

Norm inequalities between difference operators

Assume $(v_i)$ to be a sequence in $\ell_\infty(\mathbb{R})$ for $i=1,\dotsc,N$. Define the difference operator as $\Delta v_i:=v_{i+1}-v_i$ and $\Delta^n v_i:=\Delta(\Delta^{n-1} v_i)$. Then, how can ...
2
votes
0answers
106 views

Vector inequation problem [closed]

$${A_i} = \left( {\begin{array}{*{20}{c}}{{A_{i1}}}\\{{A_{i2}}}\\ \vdots \\{{A_{in}}}\end{array}} \right),{B_i} = \left( {\begin{array}{*{20}{c}}{{B_{i1}}}\\{{B_{i2}}}\\ \vdots ...
4
votes
0answers
101 views

Dimension reduction for low-order moments of Rademacher-weighted sums of vectors

Let $x_1,\dots,x_n$ be vectors in a Euclidean space $H$. Let $\varepsilon_1,\dots,\varepsilon_n$ be independent Rademacher random variables (r.v.'s), so that $P(\varepsilon_i=\pm1)=1/2$ for all $i$. ...
4
votes
0answers
358 views

Elementary treatment of elementary functions in constructive math

I would appreciate a reference to constructive math literature with elementary proofs that elementary functions are locally non-constant (i. e. densely apart from any real in any interval with ...
0
votes
1answer
95 views

Constrained optimal control problem

I am trying to solve an optimization problem which is probably reminiscent of optimal control theory but all of this is not exactly my field of expertize and I am a little bit lost in translation. If ...
1
vote
1answer
71 views

A bound on the $\mathrm{L}^p$ norm in terms of the $\mathrm{L}^2$ norm in periodic Sobolev spaces

(The question was originally posted on Math StackExchange.) Preliminaries: Given ${s \geq 0}$, let ${\mathrm{H}_P^s}$ denote the ${\mathrm{L}^2}$-based fractional-order Sobolev space of ...
4
votes
0answers
130 views

Inequality about moments of a random variable and of its conditional expectation

This is a follow-up to a question I asked earlier: Moments of a random variable and of its conditional expectation My claim turned out to be false. Here is a new claim. Let $X$ be a bounded random ...
2
votes
1answer
136 views

Finding matrices $A$ such that the entries of $A^n$ have specified signs

What techniques are there for ensuring nonnegativity of various entries of matrix powers? Specific Question: Consider a matrix $A\in SL_2(\mathbb R)$. Let $(A^n)_{i,j}$ denote the $(i,j)$ entry of ...
7
votes
1answer
204 views

Moments of a random variable and of its conditional expectation

Let $X$ be a bounded random variable with $\mathbb{E}X=0$. Since $X$ is bounded, all its moments exist. Let $\mathcal{G}$ be any $\sigma$-field and let $Y:=\mathbb{E}[X|\mathcal{G}].$ I am interested ...
0
votes
0answers
43 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
2answers
175 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
0answers
139 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
0answers
152 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
1answer
68 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
1answer
353 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 ...
30
votes
3answers
3k 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
0answers
159 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
1answer
205 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 ...
2
votes
0answers
136 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
1answer
62 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
2answers
212 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
1answer
252 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 ...
15
votes
3answers
459 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 ...
25
votes
0answers
522 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 + ...
36
votes
4answers
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
1answer
105 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
0answers
46 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
0answers
45 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 ...