All Questions
2,254 questions
1
vote
1
answer
93
views
Bound measure of difference of advected sets by norm of difference of vector fields
Consider two smooth vector fields $v$ and $u$ in $\mathbb{R}^n$, and a smooth set $\Omega$. Consider the flow of $\Omega$ via $v$ and $u$ for a time $T$, namely let
$$ \Omega_v =\{x(T, x_0) | x \text{ ...
- 697
1
vote
1
answer
129
views
A martingale puzzle about sum of expected squared bounds
I'm trying to get one of those "with $1-\delta$ probability, the following holds"-style bounds, and the following martingale problem looks solvable by some Freedman or Bernstein-style bound, ...
- 353
11
votes
1
answer
676
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 196
1
vote
0
answers
221
views
Poincaré-Wirtinger inequality for more general "means"
Let $\Omega$ be a ball of radius $r$. It is well known that given a function $f \in W^{1,p} (\Omega)$, it holds the Poincaré-Wirtinger inequality
$$ \left(\int_\Omega |f - f_\Omega|^p dx \right)^{1/p} ...
- 697
1
vote
0
answers
87
views
inequality involving factorials
Let $p>1$ be a positive integer and let $a_0,a_1$ be non-negative integers with $0\le a_0\le p-1$ and $1\le p\le a_1$. Show that
$$\prod_{b=1}^{a_1}\left(\frac{(a_0+bp)!}{a_0!b!}\right)^{{a_1\...
- 934
2
votes
1
answer
386
views
A maximal inequality
Let $\{X_i\}_{i\in\mathbb{N}}$ be i.i.d. symmetric random variables, with $-1\leq X_i\leq 1$, $\mathbb{E}(X_i) =0$, $\mathbb{E}(X_i^2) = 1$. We have that:
$$
P\left(\bigcap_{k = 1}^{n}\frac{|\sum_{i = ...
- 63
0
votes
0
answers
48
views
A question on a quantitative form of Farkas' lemma
Suppose A is an $m \times n$ matrix whose entries are non-negative integers and $\mathbf{b}$ is a vector with rational entries. A version of Farkas lemma implies that if the equation $$A\mathbf{x}=\...
- 6,214
5
votes
1
answer
350
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 537
2
votes
0
answers
160
views
An "almost" true inequality for Hermitian matrices
Let $A$ be an $N\times N$ Hermitian matrix. For $p+q$ even, consider the following inequality:
$$\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} (A^q)_{ii} \geq \Big(\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} \Big) \Big(\...
- 593
5
votes
1
answer
176
views
Efficient counting of integer solutions to linear system
In my research, I have a particular 18x18 matrix $\mathbf{A}$ which defines the linear system $\mathbf{A}\cdot \mathbf{x} \leq \mathbf{-1}$ over the nonnegative integers. And I'm interested in ...
- 151
4
votes
1
answer
492
views
Does $f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$ imply $f=0$?
Let $\beta \in (0, 1)$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that
$$
f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s,
\quad \...
- 835
0
votes
1
answer
140
views
Rearrangement inequality for sum
Rearrangement inequality:
Assume we have finite ordered sequences of nonnegative real numbers $0 \le a_1 \le a_2 \le\cdots\le a_n \quad\text{and}\quad 0\le b_1 \le b_2 \le\cdots\le b_n, \cdots\,, \...
- 1,776
0
votes
1
answer
71
views
Density with exponential factor Inequality
I would like to prove the following conjecture: Let $a>0$, let $f(x)$, $x\ge0$, be a density function, and define the density,
$$
p(x;a) = \frac{e^{-ax}f(x)}{\int_0^{\infty}e^{-at}f(t)\hspace{1pt}...
- 391
2
votes
1
answer
106
views
Lower bounds for the expectation of log ratio between the posterior and prior Beta densities
The quantity I'm interested in is expressed as follows:
$$
I = \mathbb{E}_{k\sim \text{Binom}(n,p)} \left[\ln \frac{\text{Beta}(p;a+k,b+n-k)}{\text{Beta}(p;a,b)}\right]
$$
The term inside the ...
- 63
2
votes
1
answer
187
views
Maximum of $\sum_{n=1}^N z^T X(P_n X + I)^{-1}z$ over unit trace, positive semidefinite matrices?
Let $z$ denote a unit vector.
Fix a finite collection of positive semidefinite matrices $\mathcal{P}$.
Define the function and set
$$
f_{\mathcal{P}}(X) = \sum_{P \in \mathcal{P}} z^T X(PX + I)^{-1} z,...
- 360
11
votes
0
answers
615
views
Monotonicity of ratio of symmetric polynomials
The complete homogeneous symmetric polynomials of degree $\ell$ in $n$ variables are defined by
\begin{equation*}
h_{\ell}(x_1,x_2,\ldots,x_n) = \sum_{1 \leq i_1 \leq i_2 \leq \ldots \leq i_{\ell} \...
1
vote
0
answers
45
views
Inequality Involving Concave Monotonic Function
Assume that $ f: \mathbb{R} \to \mathbb{R}_+ $ is a concave, non-decreasing and positive function. Let $\mathbb{X}$ be a finite set consisting of $ 0\leq x_1 \leq x_2 \leq x_3 \leq \ldots \leq x_n$. ...
13
votes
2
answers
2k
views
One specific inequality
How to prove this inequality $$\left(a+\frac{1}{2} \left(a b-\sqrt{a^2-1} \sqrt{b^2-1}\right)\right)^{3/4}-\frac{\sqrt{3} \cos\left[\frac{3 (\pi -t)}{4}\right]}{2 \left(\frac{1}{2}+b\right)^{1/4}}-(a+\...
- 333
0
votes
1
answer
135
views
On polynomial equation of fourth order depending on two parameters and bound on a maximal root
I would like to apologize in advance for a too technical question. Let us consider the following fourth order polynomial equation in $x$:
\begin{eqnarray}
F(x) \equiv (2 a p +2)x^4+ (6a(1-a)p^...
- 371
1
vote
1
answer
157
views
Characteristics of numbers that satisfy inequality related to diophantine approximation with perfect squares
This question has come up in my algorithms and physics research. I apologize if this is very basic, but I am new to number theory and it seems this is a number-theoretic question. What can we say ...
- 620
0
votes
0
answers
55
views
Parabolic cylinder function ratio inequality
I would like to prove the following inequality involving the parabolic cylinder function $D_{-\nu}(x)$ for $\nu>0$:
$$
\frac{2\hspace{1pt}D_{-\nu+1}(x)}{D_{-\nu}(x)} \;<\; x+\sqrt{x^2+4\hspace{...
- 391
2
votes
2
answers
235
views
$L^p$ domination of mixed partial derivatives of the 3rd order by the unmixed ones?
Is it true that for each real $p>1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^3$ one has
$$\|D_1D_2D_3u\|_p\le C_p(\|D_1^3u\|_p+\|...
- 128k
152
votes
18
answers
24k
views
Why do we care about $L^p$ spaces besides $p = 1$, $p = 2$, and $p = \infty$?
I was helping a student study for a functional analysis exam and the question came up as to when, in practice, one needs to consider the Banach space $L^p$ for some value of $p$ other than the obvious ...
0
votes
0
answers
153
views
Inequalities on the distribution of the maximum of the normalized sum $\max_{k = 1,\dots,n} \frac{|S_k|}{\sqrt{k}}$
Let $\{X_i\}_{i\in\mathbb{N}}$ be i.i.d. random variables with $\mathbb{E}(X) = 0$,$\mathbb{E}(X^2) = \sigma^2$ and finite moments. Let $S_k = \sum_{i = 1}^{k} X_i$ and consider the normalized ...
- 63
-1
votes
2
answers
232
views
Determining if $\|f\|_\infty \leq C\, \|f\|_{2}^{2/3} $ holds under $f(0) = f(1) = 0$, $\|f'\|_2 \leq 1$
Suppose $f \colon [0, 1] \to \mathbb{R}$ is continuously differentiable, and satisfies $f(0) = f(1) = 0$ and $\|f'\|_2 \leq 1$.
I am wondering if it there is a constant $C > 0$ such that for all ...
- 360
2
votes
1
answer
138
views
How to lower bound the absolute value of the difference of two Kullback-Leibler divergences given the constrains below?
Given that $\min (D[p_1||p_3],D[p_2||p_4])=a$, how to find a lower bound of the difference $\left \vert D[p_1\parallel p_2]-D[p_3\parallel p_4] \right\vert$ with respect to $a$? If the condition is ...
- 31
1
vote
0
answers
43
views
Moments on the Stiefel manifold
Let $S_{n, k} = \{V \in \mathbb{R}^{n \times k} : V^T V = I_k\}$ denote the Stiefel manifold, $1 \leq k \leq n$.
Let $P \in \mathbb{R}^{n \times n}$ denote a symmetric real, positive definite matrix, ...
- 360
0
votes
0
answers
45
views
Support function of the intersection of two $\ell_p$ balls
Denote $\|\cdot \|_p$ for the norm in $\ell_p^n$, where $1 \leq p \leq \infty$, and $n \geq 1$.
Let $(x^\star_i)$ denote a nonincreasing arrangement of the sequence $(|x_i|) \in \mathbb{R}^n$.
We ...
- 360
16
votes
1
answer
770
views
Find a special integer coefficients polynomial which takes small absolute value on [0,4]
The question is easy to state: Is there a non-constant $f\in\mathbb{Z}[x]$ such that for all $x\in [0,4]$, we have $|f(x)|\leq 1$? I do not know where to find a useful reference for it.
I did a few ...
- 287
0
votes
0
answers
115
views
Software for computing polytopes
As can be inferred from the title, I want to do some computation on the facets representation of the polytopes given the vertices. My advisor recommended me Polymake, which is indeed useful even with ...
- 1
1
vote
0
answers
37
views
Inequality for function on Spinor bundle
I have a function $H(x,\psi)$ defined on the spinor bundle $\mathbb{S}$ with $H_\psi$ being the continuous derivative in fiber direction having the following properties:
(H-1) There exists $0<\...
- 11
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
- 128k
3
votes
2
answers
645
views
Upper bound for complex integral
I am interested in obtaining a good upper bound for the absolute value of the following integral
$$
\left| \int_{0}^{\pi/3} e^{-itn} \left( 1-e^{it} \right)^{k} dt \right|,
$$
when $n>k>0$ are ...
- 43
3
votes
0
answers
80
views
Seeking strong bounds on KL-divergence and martingales for a hypothesis-testing inequality
Let's say we have a finite set $\mathcal{O}$ of observations, and let $\mathcal{C}(\Delta\mathcal{O})$ denote the space of closed convex sets of probability distributions.
We have two hypotheses which ...
- 353
8
votes
3
answers
595
views
Jensen-like inequality for random matrix: $\Bbb E[\det X^2]\ge\det\Bbb E[X^2]$
Let $X\in M_n(\Bbb R)$ be a random matrix with iid elements following a continuous distribution.
What are the necessary and sufficient conditions for $$\Bbb E[\det X^2]\ge\det\Bbb E[X^2]$$ to hold? Is ...
- 1,459
3
votes
1
answer
493
views
A strange condition of convexity?
During my research, I come across this question.
Let $f \in C^2(\mathbb R, \mathbb R_+^*)$ with $\forall x \in\mathbb R, f'(x) \geq |f''(x)+f(x)|$.
Is it true that $\forall x \in \mathbb R, f''(x) \...
- 4,074
-1
votes
1
answer
62
views
An example of a matrix whose eigenvalues fullfill 'No-resonance' condition
No-resonance for a matrix is defined in terms of its eigenvalue as (last para page-3 in ref.):
$$\lambda_i \neq \sum_{j=1}^N m_j\lambda_j;\ \forall m_j\in \mathbb{Z}\ \ and\ m_j\geq 0$$
$$such\ that\ \...
- 101
0
votes
3
answers
278
views
A generalisation of Tchebychev inequality
Let $f,g \in C(\mathbb R)$ with $\exists M \in \mathbb R^*, \forall (x,y) \in \mathbb R^2, M\times (f(x)-f(y))(g(x)-g(y)) \geq 0$.
Is it true that exists $ u$ any real function, and $a,b$ monotone ...
- 4,074
3
votes
0
answers
190
views
Stirling number, Delannoy number, and binomial coefficients in a sum
I want to compute/prove that the following sum is positive:
$$ \sum_{i = 0}^n \left[\frac{D(n - i, i)}{d} \sum_{j = m}^d s(d, j) \binom{j}{m} (d - i)^{j - m}\right] > 0
$$
where $s(d, j)$ is the ...
- 51
1
vote
1
answer
129
views
Small total variation distance between sums of random variables in finite Abelian group implies close to uniform?
Let $\mathbb{G} = \mathbb{Z}/p\mathbb{Z}$ (where $p$ is a prime). Let $X,Y,Z$ be independent random variables in $\mathbb G$.
For a small $\epsilon$ we have $\operatorname{dist}_{TV}(X+Y,Z+Y)<\...
- 23
2
votes
1
answer
321
views
A strange functional inequality
Let $f,g \in C([-2,2],\mathbb R_+^*)$ even and concave real functions.
Is it true that
$$
\int_0^1 f\big(\cos(x^{-1})+\sin(x^{-1})\big) \cdot g\big(\cos(x^{-1})-\sin(x^{-1})\big) \mathrm{d}x\\ \leq f(...
- 4,074
5
votes
1
answer
167
views
Upper bound for the $n$-th derivative of a rational function $\frac{f}{f+g}$
Let $f$ and $g$ be real polynomials with nonnegative coefficients. Let
$$
h = \frac{f}{f+g}.
$$
I want to prove that the $n$-th derivative of $h$ satisfies:
There exists $C > 0$ such that
$$
|h^{(...
- 187
2
votes
0
answers
105
views
Elliptic regularity theory in $\mathbb{R}^2$
I recently encountered two papers discussing elliptic PDEs and variational methods. The first paper claims that according to regularity theory, the solution to $-\Delta u = ug(u^2)$ in $\mathbb{R}^2$ ...
- 705
0
votes
0
answers
51
views
Upper bound on expectation of a convolution
Given probability densities $f, g\in L^p(\mathbb{R}^3), \ \forall p\geq 1$, with the same first and second moments
\begin{align} & \int_{\mathbb{R}^3} v f(v)\,dv = \int_{\mathbb{R}^3} v g(v)\,dv, \...
- 43
2
votes
1
answer
119
views
Simultaneous Concentration of $\sum_{i = 1}^{n} X_i^2$ and $\sum_{i = 1}^{n} X_i$ with $X_i$ iid. Poisson
Consider $n$ independent Poisson(1)-distributed random variables $(X_i)_{1 \leq i \leq n}$.
This is a (hopefully more interesting) follow-up question to Super-exponential concentration for $\frac{\...
- 578
0
votes
2
answers
530
views
Any idea of solving an optimization problem with cubic constraints?
I have the following optimization problem with cubic constraints, which is hard to solve. Are there any ideas, or related references, of solving such a problem?
$$ \begin{array}{ll} \underset {y, z} {\...
- 21
3
votes
0
answers
394
views
Some specific case of the abc-conjecture related to the Mason-Stothers proof of Serge Lang for polynomials?
I stumbled upon a version of the Mason-Stothers theorem, which can be modified to make a similar statement for natural numbers, which I think I can prove here. It is not the abc-conjecture, but it has ...
- 3,054
2
votes
1
answer
154
views
Grönwall-type inequality for $f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$
Let $\alpha \in (0, \infty)$ and $\beta \in (0, 1]$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that
$$
f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(...
- 835
7
votes
1
answer
556
views
A variation on the Borel–Cantelli lemma theme
Let $X,X_0,X_1,\dots$ be nonnegative independent identically distributed (i.i.d.) random variables. Let
\begin{equation*}
E:=\bigcap_{n\ge0}B_n,
\end{equation*}
where
\begin{equation*}
B_n:=\...
- 128k
1
vote
1
answer
261
views
An inequality of Huygens
I am preparing a paper on Huygens' approximations to $\pi$ and I have to prove the following inequality: if $0 \le x\le \pi/2$ then
$$
\pi\ge \frac{\pi}{x}\sin(x)\bigl(20+51\cos(x)-2\cos^2(x)+6\cos^3(...
- 371