The tag has no wiki summary.

learn more… | top users | synonyms (1)

5
votes
0answers
87 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
1answer
168 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
1answer
66 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
2answers
153 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},$$ ...
0
votes
0answers
168 views
6
votes
1answer
137 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 ...
0
votes
2answers
121 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. ...
2
votes
0answers
87 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
0answers
31 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 ...
2
votes
1answer
355 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 ...
6
votes
1answer
446 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
0answers
51 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
2answers
330 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
1answer
106 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
1answer
65 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 ...
10
votes
2answers
373 views

Inequalities for averaging over partially ordered sets

Let's start from a classical inequality: If $0\le a_1\le\cdots\le a_k$ and $0\le b_1\le\cdots\le b_k$ then $(a_1+\cdots+a_k)(b_1+\cdots+b_k)\le k(a_1b_1+\cdots+a_k b_k)$. It can be written also in ...
5
votes
2answers
170 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 ...
4
votes
1answer
242 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 ...
5
votes
0answers
81 views
-1
votes
0answers
28 views

How to prove an inequality $\left| {g(j + 1)} \right| \le 5/4$ in Stein's method for Poisson approximation [migrated]

The following is a lemma in Barbour, A. D., Holst, L., & Janson, S. (1992). Poisson approximation. Oxford: Clarendon Press,p7. For $j=1,2,...$ and $\lambda > 0$, we have $\left| {g(j + ...
6
votes
1answer
96 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
1answer
122 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$ ...
11
votes
2answers
626 views

Hölder's inequality for matrices

I was wondering if the Hölder's inequality was true for matrix induced norms, i.e. if $$\|AB\|_1 \leq \|A\|_p\|B\|_q, \quad\forall p,q \in [1,\infty] \text{ s.t. } \tfrac{1}{p}+\tfrac{1}{q} = 1.$$ But ...
11
votes
1answer
377 views

Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...
9
votes
1answer
428 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, ...
1
vote
0answers
33 views

Bound of spectral radius of polynomial of a complex matrix

I am trying to prove or disprove the following inequality. $$ ||P(A)||_2\leq 2 \max_{\alpha\in W(A)}| P(\alpha)|,$$ where $P(\cdot)$ is a complex polynomial, $A\in \mathbb{C}^{n\times n}$ and ...
6
votes
1answer
191 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} ...
0
votes
1answer
41 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 ...
3
votes
4answers
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)$ ...
1
vote
1answer
106 views

Matrix Submodular Inequality

Given $a,b,x > 0$ I know following the submodularity property holds: \begin{align} \frac{1}{a} - \frac{1}{a+x} \geq \frac{1}{a+b} - \frac{1}{a+b+x} \end{align} My question is, does this property ...
7
votes
2answers
249 views

An upper bound for the difference between arithmetic and harmonic mean

Let $a_i\gt0$ for all $1\le i\le n$. It is well known that $$ \frac{a_1+a_2+\cdots+a_n}{n}-\frac{n}{\frac{1}{a_1}+\frac{1}{a_2}+\cdots+\frac{1}{a_n}}\ge0, $$ with the equality when all $a_i$ are ...
3
votes
1answer
125 views

Lower bound for the $p$-th absolute moment of a sum of random variables

Suppose that $X_1,\ldots,X_n$ are independent random variables with $\operatorname E X_k=0$ and $\operatorname E |X_k|^p<\infty$ with $1<p<2$ for each $1\le k\le n$. I am interested in the ...
3
votes
0answers
451 views

Question on a proof by Solonnikov,Ladyzhenskaya,Ural'tseva

I have already asked this question on Mathematics SE, because I suppose that it is not research level. But I haven't got an answer, possibly here someone can answer. Let $G(t,x)$ be the fundamental ...
3
votes
1answer
157 views

Is this parametric inequality true?

Puzzled by this still open question, I tried comparing the arithmetic mean $A(x,y)=(x+y)/2$ with a mean intermediate between a geometric-type mean $G(X)=(x^a y^{1-a}+x^{1-a} y^a)/2\;$ for $0\le a \le ...
7
votes
2answers
378 views

Inequality involving the side lengths of a quadrilateral

If $a$, $b$, $c$ and $d$ are the four sides of a quadrilateral, the problem is to show that $ab^2(b-c)+bc^2(c-d)+cd^2(d-a)+da^2(a-b)\ge 0$. I've verified it to be true for quite a large number of ...
14
votes
2answers
787 views

This inequality why can't solve it by now (Only four variables inequality)?

I asked a question at Math.SE last year and later offered a bounty for it, only johannesvalks give Part of the answer; A few months ago, I asked the author(Pham kim Hung) in Facebook, he said that ...
4
votes
0answers
61 views

A “gradient” weak Harnack inequality for quasilinear elliptic equations

Suppose we are in the following loosely described setting: we have a non-negative supersolution $h$ of the following elliptic equation: \begin{equation} \Delta h + \|\nabla h\|^2 + f(x) \geq 0 ...
1
vote
0answers
37 views

Tools to bound the singular values of a finite sum of random matrices from below?

Matrix Chernoff bounds (see also this arXiv paper) are usually used to give upper bounds on the largest eigenvalue of a finite sum of random matrices. Sometimes it can also be used to give a lower ...
1
vote
1answer
222 views

Nepero game (by Yacov Perelman)

I have already posted this question time before on stackexchange, but didn't receive a definitive solution. So this is the game: consider a positive integer number $n$ and divide it in a finite ...
0
votes
0answers
165 views

this complex inequality have some background?and we can find stronger than this inequality?

Somedays ago,Chinese mathematical olympiad(2014) have this following problem: Let $z_1,z_2,...,z_n$ be complex numbers satisfying $|z_i - 1| \leq r$ for some $r$ in $(0,1)$. show that ...
15
votes
0answers
454 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 ...
1
vote
0answers
32 views

An inequality concerning restricted isometry property

Let $A\in \mathbb{R}^{m\times n}$ be a matrix and let us denote by $A_S$ the submatrix of $A$ with the columns restricted to a set $S\subset [n]:=\{1,2,\cdots, \ n\}$. Then one says that the matrix ...
11
votes
2answers
562 views

Conjecture on maximum of symmetric combinatoric function

A curious symmetric function crossed my way in some quantum mechanics calculations, and I'm interested its maximum value (for which I do have a conjecture). (The question was first asked at math.SE, ...
0
votes
0answers
17 views

Looking to derive bound for modulus of harmonic eigenfunction on weighted graph

We have a homogeneous graph $G = (V,E)$ with a function $f:V\rightarrow \mathbb{R}$. We define the following modulus: $\displaystyle \omega(s) = \sup\{f(x)-f(y) \ | \ |x-y|=s \}$ and wish to lower ...
8
votes
2answers
462 views

Inequality for a gamma function

Let $s=\sigma+it$ and $\Gamma(s)$ be the Euler gamma function. Does the inequality hold? $$ \left|\frac{\Gamma(s)}{\Gamma(2-s)}\right|\leq |s|^{2(\sigma-1)},\, 1<\sigma<2,\, t>t_0>0. $$ ...
5
votes
0answers
164 views

Operator arithmetic-harmonic mean inequality with operator-valued weights

Let $\Lambda_1,\dots,\Lambda_n$ be strictly positive definite operators in the Euclidean space $\mathbb{R}^d$. By an operator arithmetic-harmonic mean inequality with weights $\Lambda_i$ I mean the ...
-2
votes
1answer
173 views

using jensen's inequality

Suppose we have an expression f(x, h(x,y)), for some function f and h, and x, y are random variables, now we know that the function f(a, b) is concave w.r.t. a for given b. Can we use Jensen's ...
2
votes
1answer
65 views

Local fractional Sobolev inequality

If $\mathcal{X}$ is a smooth cutoff near 0 in $\mathbb{R}^n$, then $M_0 = \mathcal{X}(-\Delta+Id)\mathcal{X}$ is a self-adjoint operator in $L^2(\mathbb{R}^n)$. Because $M_0$ is semi-positive and the ...
9
votes
1answer
378 views

Cauchy-Schwarz proof of Sidorenko for 3-edge path (Blakley-Roy inequality)

Is there a "Cauchy-Schwarz proof" of the following inequality? Theorem. Given $f \colon [0,1]^2 \to [0,1]$, one has $$ \int_{[0,1]^4} f(x,y)f(z,y)f(z,w) \, dxdydzdw \geq \left(\int_{[0,1]^2} f(x,y) ...
0
votes
0answers
65 views

How to prove it is uniformly bounded?

Let $\Omega$ be a bounded domain with smooth boundary. Say $\theta\in(0, 1]$. Let $u(x, \theta)$ be a solution to the problem $\Delta u-\theta u=g(x)$ subject to Neumann boundary condition. Suppose ...