Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [cauchy-schwarz-inequality]

The Cauchy-Schwarz inequality states $|\langle x,y \rangle |\leq ||x||\cdot ||y||.$ Use this tag for questions related to the CS inequality and its applications.

0
votes
1answer
36 views

Inequality involving product-of-minus vs minus-of-product for positive integers

I'm encountering this inequality for dimensionality reduction problem. The simplified form looks as follows: Consider positive integers $a_1$, $a_2$, $b_1$ and $b_2$ where $a_1>b_1$ and $a_2>...
3
votes
1answer
266 views

A moment inequality

Let $\chi(s)=\int_{0}^{1}x(t)^{s}f(t)dt$, where $x(t)$ and $f(t)$ are real valued continuous functions for $t\in[0,1]$, and $f(t)\geq0$. Is it possible to show that $\left(\chi(0)\chi(2)-\chi(1)^{2}...
2
votes
1answer
156 views

Is it possible to find $f$ such that : $f$ is absolutely integrable, $f'$ is absolutely integrable and such that $f$ is not $1/2$-Hölder

I am trying to find a function $f: \mathbb{R}^+ \to \mathbb{R}^+$ that fullfils the following conditions $$f \in \mathcal{C}^1(\mathbb{R}^+,\mathbb{R}^+)$$ $$\int_{\mathbb{R}^+} f \in \...
-2
votes
1answer
95 views

On the Cauchy-Schwarz Inequality for trace function of random matrices

In the deterministic case, for two matrices $A$ and $B$ with appropriate matrices, we know that $$tr((A^{T}B)^{2})\leq tr(A^{T}A)tr(B^{T}B)$$ which is the trace form of Cauchy-Schwarz-Inequality (CSI)....
12
votes
3answers
454 views

A probabilistic angle inequality

Conjecture: There is a universal constant $c$ such that for any fixed nonzero real vector $q$ of any dimension $n$ and any random vector $p$ of the same dimension $n$ with independent components ...
5
votes
1answer
253 views

An inequality involving a sum of power terms

I am currently working in a problem in Information Theory and I came across a difficult inequality. After many attemps, I simplified the inequality, which now looks at follows. Consider a positive ...
2
votes
2answers
277 views

An alternative proof of Bayesian Cramer-Rao

My question is: Are there an alternative proof of Cramer-Rao lower bound that does not use Cauchy-Swartz inequality? Let me outline the classical proof and explain why I am interested in this ...
0
votes
1answer
120 views

Upper bound of $\frac{\sum_i c_ia_ie_i}{\sum_i d_ib_if_i}$?

Let $\sum_i c_i =\sum_i d_i=1$, where $c_i,d_i \ge 0$. Assume that $\frac{\sum_i c_ia_i}{\sum_i d_ib_i} \le \epsilon_1$ and $\frac{\sum_i c_ie_i}{\sum_i d_if_i} \le \epsilon_2$, where $a_i,b_i,e_i,f_i ...
4
votes
0answers
211 views

Does the Cauchy–Schwarz inequality imply 2-positivity?

Recall the following generalisation of Cauchy–Schwarz. Theorem. Let $f\colon \mathscr{A} \to \mathscr{B}$ be a linear 2-positive map between C$^*$-algebras. Then for all $a,b \in \mathscr{A}$ we ...
2
votes
1answer
114 views

Majorization of cyclic products

Let $k,m,n\in\mathbb N$ such that $n>k$. For a partition $\alpha=(\alpha_1,\dots,\alpha_k)\vdash m$ with $\alpha_1\ge\dots\ge \alpha_k>0$ and nonnegative $ x_1,\dots,x_n$ define $x^\alpha :=\...
2
votes
2answers
374 views

Does this simple inequality have a name?

Let $x_{1},\ldots,x_{n}$ be nonnegative numbers such that $m \leq x_{i} \leq M$. Let $$ S=\sum_{i=1}^{n}{x_{i}} $$ and $$ Q=\sum_{i=1}^{n}{x_{i}^{2}}. $$ Then $$ Q \leq S(M+m)-nMm. $$ This has ...
5
votes
0answers
1k views

A stronger Cauchy-Schwarz inequality for traces of compression matrices

Assume that $A$ and $B$ are contractions, so $I-AA^T$ and $I-BB^T$ are positive-definite matrices. Let $C=(I-AB^T)^{-1}(I-AA^{T})(I-BA^{T})^{-1}$, and show that: $$Tr\left(\frac{1}{1-AA^T}\right)...
4
votes
1answer
207 views

A homogeneous but slightly asymmetric inequality

I need to prove the following inequality: for any $Z=(z_1,\dots,z_l)\in\mathbb{C}^l$ for any $p\geq 2$ and $l\geq 2$ \begin{equation} \left|\left|\sum_{j=1}^l z_j\right|^p-\sum_{j=1}^l\left|z_j\right|^...
6
votes
3answers
2k views

Cauchy-Schwarz inequality for bilinear forms valued in an abstract vector space

I previously posted this question on Math.SE but didn't receive an answer. It is perhaps a little vague; part of what I want to know is what question I should ask. First, consider the following form ...
29
votes
1answer
2k views

Can the fact that the square of an integer is a natural number be categorified?

If $a$ and $b$ are natural numbers, then $a-b$ is an integer and so the square $(a-b)^2$ is a natural number. In particular $$ (a-b)^2 \geq 0. \qquad (1)$$ Combining this fact with the identity $...
2
votes
3answers
558 views

An Linear Algebra Inequality

How to prove the following inequality: Let $X$ and $Y$ be $n\times m$ matrices with real entries. Prove that \begin{equation} \det\left(XY^T\right)^2 \leq \det\left(XX^T\right)\det\left(YY^T\right) . \...
8
votes
5answers
2k views

A plausible inequality

I come across the following problem in my study. Let $x_i, y_i\in \mathbb{R}, i=1,2,\cdots,n$ with $\sum\limits_{i=1}^nx_i^2=\sum\limits_{i=1}^ny_i^2=1$, and $a_1\ge a_2\ge \cdots \ge a_n>0 $. Is ...