All Questions
2,253 questions
1
vote
1
answer
120
views
Does Gaussian heat kernel ensure $\int_{\mathbb R^d} (1+|x|) \sqrt{\ell_{t_0} (x)} \, \mathrm d x < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $\ell : \bR^d \to \bR_+$ be a probability density function such that
$$
\int_{\bR^d} (1+|x|) \sqrt{\ell (x)} \diff x < ...
- 835
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
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
8
votes
2
answers
492
views
A trig inequality
Let $m$ be an odd and $n$ an even positive integers. I need to estimate the maximum value of $\left|\sin(m\theta)\sin(n\theta)\right|$:
$$
c_{m,n}:=\max_{\theta\in[0,\pi]} \left| \sin(m\theta) \sin(n\...
- 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
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
2
votes
1
answer
172
views
Inequality with matrix exponentials. Is it true that $x^\top e^{-xx^\top - AA^\top} x \leq x^\top e^{-xx^\top} x$?
As in the object, I'm looking at the case where $x \in \mathbb R^d$ is a generic vector, and $AA^\top \in \mathbb R^{d \times d}$ is a p.s.d. matrix.
I'm investigating the following inequality
$x^\top ...
- 69
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
159
views
+50
A question relates to edge chromatic-polynomial
Properly colored graph (edge has color) means that any two adjacent edges have distinct colors.
For any graph with $m$ edges such that it can be properly colored using $k$ colors. What is the minimum ...
- 91
-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
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
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
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
3
votes
1
answer
272
views
An inequality about factorial function
Let $d,s,k$ be integers such that $d<s+2$, $s=o(k)$. For sufficiently large integer $k$, is the following inequality right?
$$\frac{(k-2d+1)^{k+s-d}}{(k-d)!\cdot (k-2)_s} \ge 1$$
We write $(k)_s = ...
- 91
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,...
- 460
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
0
votes
0
answers
94
views
A conjectured generalization of Oppenheim's inequality, inspired by Horn-Yang's theorem
In this post, $A$ and $B$ are hermitian $n \times n$ positive semidefinite matrices.
It is well known that if $A$ has rank $n$ and if $B$ has only positive entries on its diagonal, then the rank of ...
- 5,215
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
2
votes
2
answers
191
views
Gronwall's inequality in discretized time
$
\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PPP}{\...
- 835
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
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
0
answers
123
views
Generalization of the triangle inequality to complex exponents: What is $P\left(\left| x^{a+bi} + y^{a+bi} \right| \ge \left|z^{a+bi}\right|\right)$?
Let $x \le y \le z$ be the length of the sides of a triangle whose vertices are uniformly random on the circumference of a circle. In this question, it was proved that if $a \ge 1$, then the ...
- 5,460
2
votes
0
answers
80
views
Inequality involving minors of an orthogonal matrix
Fix $n \geq 3$ and take any orthonormal vectors $x,y,z \in \mathbb{R}^n$. Let also $A \in M_n(\mathbb{R})$ be a symmetric matrix with positive entries ($A_{ij} = A_{ji} > 0$). Is the following ...
- 21
2
votes
0
answers
55
views
stochastic process and integral
Let $(X_n(t))_{t\in [1,+\infty], n\geqslant 1}$ be a sequence of nonnegative random variables and $(\mathcal{F}_s)$ a filtration ($\mathcal{F}_s \subset \mathcal{F}_r$ for $s\leqslant r$). We assume ...
- 29
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
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
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
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
1
vote
0
answers
59
views
Inequality with characteristic and moment generating functions
Suppose $\mu$ is a symmetric probability measure on $\mathbb{R}$. Define its characteristic and moment generating functions:
\begin{align*}
\phi_{\mu}(t) = \int_{\mathbb{R}}{\cos(xt) d\mu(x)}
\\
M_{\...
- 83
2
votes
1
answer
96
views
Maximal sum of a function defined on 2-dimensional grid if the sum is bounded on product sets
Disclosure: I have asked this question on MSE (https://math.stackexchange.com/questions/4895621/maximal-sum-of-a-function-such-that-the-sum-is-bounded-on-product-sets) but received no comments in a ...
11
votes
1
answer
675
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
92
views
Multilinear non-commutative Khintchine inequality
Let $g_1,\ldots,g_k$ be independent standard Gaussians and for each index $(i_1,\ldots,i_k)\in [n]^k$ let $A_{i_1,\ldots,i_k}$ be a $d\times d$ symmetric matrix.
Question: Is there a known bound for ...
- 156
0
votes
0
answers
149
views
Notation $\le_{a,b,n,\ldots}$ in Analysis
In modern Analysis, especially Functional Analysis, one proves, or one uses inequalities of the form
$$F(X)\le_{a,\ldots,n}G(X).$$
The meaning of the subscripts in the inequality sign means that there ...
- 52.3k
0
votes
1
answer
75
views
On a differential inequality with an additional constraint
I am stuck on this problem from a research question, which seems to require solving a differential equation, but I am not sure how to deal with integrals like $\int_0^t$ or $\int_t^1$. I will be ...
- 33
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
0
votes
0
answers
87
views
Comparison between the expected values of the inverse of the CDF of binomial-distributed random variables
Let us denote with $F(x;j,\mu)$ the cdf of a Binomial distributed random variable with $j$ trial with success probability $\mu$ considered in $x$, and let $f(x;j,\mu)$ be the pmf. Defining $0\leq \...
0
votes
1
answer
50
views
Norm of a $2$-tuple of operators
Let $E$ be a complex Hilbert space and $K_1,K_2$ are bounded linear operators on $E$.
Let $\omega(K_1)$ and $\omega(K_2)$ be the numerical radius of $K_1$ and $K_2$ respectively. That is
\begin{align*}...
- 1,154
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
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
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
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
4
votes
0
answers
46
views
Implementation of Friedman's algorithm of reconstructing simple polytopes
In Finding a Simple Polytope from Its Graph in Polynomial Time, Friedman gave a polynomial time algorithm on reconstructing a simple polytope from its graph. Has this algorithm been actually ...
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} \...
0
votes
0
answers
71
views
Reference request for equivalent Lipschitz smoothness conditions
For an open set $Z\subseteq\mathbb{R}^n$, let $f: Z\mapsto \mathbb{R}$ be a continuously differentiable function on $Z$, and let $L>0$ be fixed. Also, suppose that (a) $f$ is nonconvex and (b) $f$ ...
-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 ...
- 460
0
votes
0
answers
77
views
Maximizing the trace of the resolvent of a Wishart matrix over positive unit trace matrices?
Let $G$ be a standard $d \times d$ Wishart random matrix and consider the problem of maximizing the function
$$
f(M) = \mathbb{E}\Big[\mathrm{tr}((G + M^{-1})^{-1})\Big],
$$
over the class of real ...
- 460
0
votes
1
answer
92
views
Does point process ordering ever imply conditional intensity ordering?
Let $N$ and $N'$ be regular/non-explosive point processes on $[0,\infty)$. I will take the view that these are collections of random arrival times: $N=(t_n)_{n\in\mathbb N}$ and $N'=(t_n')_{n\in\...
- 215
2
votes
0
answers
159
views
Upper bound of a product of sines
Consider the function
$$ f_n(t)= \prod_{1 \leq k \leq n-1,\\ \gcd(k,n)=1} \sin\Big(t-\frac{k \pi}{n}\Big),\quad t \in [0,\pi].$$
I wonder whether it is possible to compute some nontrivial upper ...
- 826
0
votes
0
answers
91
views
Some new questions on Rademacher complexity
For $A\subset R^n$,$A=(a_1,a_2,\dots, a_n)$, $\sigma_i$ are Rademacher random variable.
Is $|\mathbb{E}_\sigma \inf_{a\in A}\sum_{i=1}^n\sigma_ia_i| \le |\mathbb{E}_\sigma \sup_{a\in A}\sum_{i=1}^n\...
- 185
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