All Questions
7,280 questions
2
votes
2
answers
151
views
Upper bound $\int_{\mathbb{R}^d \times \mathbb{R}^d} |fx)-f(y)| (1+|y|) \ell (x) p_t (x-y) \, \mathrm d x \, \mathrm d y$ in $t$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ ...
- 835
5
votes
2
answers
248
views
Hausdorff dimension of the zero set of $\nabla f$
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $\nabla f$ nonzero almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ ...
- 4,713
7
votes
3
answers
5k
views
Proof for a rank-one decomposition theorem of positive (semi) definite matrices
$\DeclareMathOperator\rank{rank}\DeclareMathOperator\trace{trace}$Consider the following result which I recently came across in a research paper in my area (signal processing)
Let $X$ be a $N\times N$...
- 63.9k
9
votes
2
answers
245
views
Matrix invariants for simultaneous conjugation by a finite subgroup of $\textrm{GL}_n$
Let $K$ be a field of characteristic 0, and consider $d$ generic $n\times n$ matrices $X_1,\ldots,X_d$ where $X_k = (x_{ijk})_{ij}$ and $ K[x_{ijk}]$ is the polynomial algebra in $n^2 \cdot d$ ...
- 21.5k
0
votes
1
answer
171
views
Prime index subgroups of $\langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle$ that is invariant under matrix $Q$
Let $Q $ be a matrix in $ \operatorname{GL}(2, \mathbb{Q}) $ and consider the group
$G = \langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle := \langle Q^{i}(v) \mid i \in \mathbb Z, v \in \...
- 63.9k
4
votes
1
answer
446
views
Is the uniform limit of "almost eikonal" maps eikonal?
Let $f_n: \mathbb R^d \to \mathbb R$ be continuously differentiable functions with $f_n \to f$ uniformly for some $f$.
Suppose that $|\nabla f_n| \to 1$ uniformly. Is it true that $f$ is $C^1$ with $\...
- 61.9k
4
votes
0
answers
88
views
A question concerning regularly varying functions
In my work I need some results about regulary varying functions, which I only have a very vague understanding.
A strongly related reference I found is "On the Existence of a Regularly Varying ...
- 119
5
votes
1
answer
375
views
Looking for a counterexample: Conditioning increases regularity?
Let $p(x,y,z)$ be a joint density (over $\mathbb{R}^3$) under no smoothness or regularity assumptions, besides its existence. I am looking for a (counter)example where $p(y|x)$ is less regular than $p(...
- 6,195
19
votes
2
answers
949
views
Etymology of “real numbers"
I would like to know why the real numbers are called “the real numbers.” I would also like to know the meaning of “real” in the phrase “real number.”
Further questions and clarifications:
I’d like to ...
- 35.5k
2
votes
1
answer
179
views
Is the average of a $\alpha$-Hölder process Hölder continuous of every order less than $\alpha$?
Let $X_t$ be a stochastic process on $[0, 1]$ that is almost surely Hölder continuous of order $\alpha > 0$, and almost surely uniformly bounded by some deterministic constant. It is not hard to ...
- 10.3k
3
votes
0
answers
318
views
The curse of dimensionality of the Kolmogorov–Arnold neural network
The Kolmogorov–Arnold neural networks (KAN), Ziming Liu et al., KAN: Kolmogorov–Arnold Networks is inspired by the Kolmogorov–Arnold representation theorem (KA theorem). Though it is not proved in the ...
- 2,239
7
votes
1
answer
561
views
How are real numbers defined in elementary recursive arithmetic?
I am currently reading about elementary function arithmetic and Harvey Friedman's grand conjecture.
In Number theory and elementary arithmetic, Jeremy Avigad expressed Fermat's last theorem, ...
- 21.2k
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
- 21
0
votes
0
answers
63
views
A maximisation problem : finite or not?
Let $\mathcal M_2$ be the space of real $2\times 2$ matrices and $\mathcal S_2\subset \mathcal M_2$ be its subset consisting of positive semidefinite elements, i.e. $A\in \mathcal S_2$ iff $A$ is ...
- 1,399
0
votes
1
answer
375
views
Bringing a Heun equation into canonical form
It is a well known fact that any second order Fuchsian differential equation on the complex plane $$u''(x) + p(x)u'(x) + q(x)u(x)=0$$ with exactly $4$ regular singular points may be suitably ...
CommunityBot
- 1
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(\...
- 5,215
3
votes
0
answers
138
views
What is the probability that the absolute value of the root of a polynomial is greater than $x$?
Note: This question was unanswered in MSE for a month so posting it in MO.
Let $f(x) = 0$ be an equation of degree $n$. WLOG we can assume that the its coefficients are in $(-1,1)$. This is because we ...
- 5,470
8
votes
2
answers
509
views
Condition to guarantee that an inhabited and bounded set of reals has a supremum
This question is about constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF. The “reals” (and the symbol $\mathbb{R}$) refer to ...
- 35.5k
2
votes
1
answer
110
views
Equivalence among these functions
Let $\Phi$ be the CDF of a standard Gaussian distribution, i.e.
$$\Phi(x):=\int_{-\infty}^x \frac{1}{\sqrt{2\pi}} e^{-y^2/2}dy,\quad \forall~ x\in \mathbb R.$$
Denote by $\Phi^{-1}$ its inverse ...
- 128k
0
votes
0
answers
21
views
Unimodality of distribution from Lévy symbol
Also posted in MSE.
Assume that one want to study a distribution $f$ on $\mathbb{R}$ for which the Lévy symboln, i.e.:
$$
\forall u\in\mathbb{R},\quad\psi(u) := \log \mathbb{E}\left[e^{iuX}\right]
$$
...
- 393
1
vote
1
answer
161
views
An "almost" geodesic dome
A regular $ n$-gon is inscribed in the unit circle centered in $0$.
We want to build an "almost" geodesic dome upon it this way: on each side of the $n$-gon we build an equilateral triangle ...
- 128k
3
votes
1
answer
193
views
Differentiability along hyperplanes
Definition. Let us say that a function $f\colon \mathbb R^d\to \mathbb R$ is differentiable along hyperplanes in the point $0\in \mathbb R^d$, if $f\circ \varphi\colon \mathbb R^{d-1}\to \mathbb R$ is ...
- 10.6k
1
vote
1
answer
452
views
About the Hadamard conjecture
On the wikipedia article about Hadamard Matrix it says that "The smallest order that cannot be constructed by a combination of Sylvester's and Paley's methods is $92$"
But it also says that ...
- 696
1
vote
0
answers
56
views
Extension of this maximisation problem : finite or not?
$\mathcal M$ is the space of real $d\times d$ matrices and $\mathcal S\subset \mathcal M$ is its subset consisting of positive semidefinite elements. We consider the distance the product space $\...
- 1,399
-1
votes
1
answer
223
views
Centroid of $\Omega$ and $\partial\Omega$ concides then $\Omega$ must be a ball
Hi I just happened to have a small question. If we have
$$\frac{\int_\Omega x}{|\Omega|}=\frac{\int_{\partial\Omega} x}{|\partial\Omega|}$$
for a simply connected set $\Omega$ with analytic boundary. ...
- 6,924
16
votes
4
answers
2k
views
Is the $W^{1, \infty}$ limit of differentiable functions also differentiable?
Let $f_n$ be a sequence of differentiable functions on $[0, 1]$ with
$f_n \to f$ uniformly for some (necessarily) continuous $f$.
$f'_n - g \to 0$ in $L^{\infty}$ for some measurable $g$.
Is it true ...
- 6,195
0
votes
0
answers
56
views
How explicit the optimiser of this optimisation problem can be?
Provided the given parameters as follows :
$\mu\in\mathbb R, \sigma\in\mathbb R_+$ are constant, $\kappa, r, \alpha, \beta: \mathbb R_+\to\mathbb R_+ $ are measurable functions such that $\kappa(y)\...
- 1,334
6
votes
0
answers
130
views
Bent vectors and $\pm 1$ eigenvectors with respect to non-Sylvester Hadamard matrices
A Hadamard matrix is an $n\times n$-matrix $H$ where each entry in $H$ is $\pm 1$ and where $H/\sqrt{n}$ is orthogonal. It is well-known that if $H$ is an $n\times n$-Hadamard matrix, then $n<3$ or ...
7
votes
1
answer
271
views
Can a differentiable function be nowhere locally $\alpha$-Hölder for all $\alpha > 0$?
Does there exist a real valued function on $[0, 1]$ that is differentiable everywhere, but for every $\alpha > 0$ is nowhere locally $\alpha$-Hölder continuous? That is, it is not $\alpha$-Hölder ...
- 10.6k
4
votes
1
answer
128
views
Lower bound of mean curvature implies that the set is subset of a given ball
If a simply connected set $\Omega\subset\mathbb{R}^n$ has $C^2$ boundary such that the mean curvature $H$ of $\partial \Omega$ satisfies:
$$H\geq 1$$
Does this imply that $\Omega\subset B_1$ after ...
- 39k
7
votes
2
answers
178
views
Separating domains in $\mathbb{R}^{2n}$ by a real algebraic variety
Suppose $\Omega_1$ and $\Omega_2$ are two disjoint unbounded domains in $\mathbb{R}^{2n}$, $n \in \mathbb{N}$. Can there be conditions on $\Omega_1$ and $\Omega_2$ so that these two domains can be ...
- 171
2
votes
2
answers
286
views
Inequality on numerical range of inverse of kernel matrix
Let $k(.,.)$ be a function that takes two vectors as input and outputs a scalar as follows
\begin{align}
\mathcal{k}(x,y) = \exp\left(-\frac{\|x-y\|_2^2}{2}\right)
\end{align}
where $\|x\|_2$ denotes ...
- 21
6
votes
3
answers
851
views
Almost everywhere-periodic functions with many periods
Let $f : \mathbb{R} \to \mathbb{R}$ be a Lebesgue measurable function and $D$ be a countable dense subset of $\mathbb{R}$.
Suppose that for a.e. $x \in \mathbb{R}$ we have
\begin{equation*}
f(x + d) = ...
- 12.9k
2
votes
1
answer
360
views
Asymptotics of an oscillatory integral
For $a > 0$ and $n \in \mathbb Z_+$, consider the oscillatory integral
$$\int_{0}^1 f(x) f(ax) \dots f(a^n x) \, dx,$$
where $f$ is an integrable function on $[0, 1]$, which we extend by ...
- 1,295
6
votes
0
answers
111
views
Factorization to sparse matrices
$\newcommand{\lrank}{\operatorname{lrank}}$
$\newcommand{\rank}{\operatorname{rank}}$
Given a matrix $A$, we can define its Hamming weight, $w(A)$, as the number of non-zero elements in it.
Now, given ...
- 3,319
11
votes
2
answers
587
views
Extracting a subsequence common to infinitely many sets from an uncountable collection with uniform positive upper density
Let $\{a_n\},\{b_n\}$ be strictly increasing sequence of positive integers satisfying $a_1<b_1<a_2<b_2<a_3<b_3<\ldots$ and $(b_n-a_n) \to \infty$. Define $I_n:= [a_n,b_n]$, meaning ...
- 13.4k
2
votes
0
answers
80
views
Stability of Hölder constants of frozen Itô stochastic integrals
$
\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
8
votes
3
answers
296
views
Shrinking subset and product
Given a segment and a value $c$ less than the segment length, let $A_1,\dots,A_n$ be finite unions of intervals on the segment. We choose a finite union of intervals $B$ with $|B|=c$ that maximizes $|...
- 23.7k
6
votes
2
answers
380
views
Proving convergence of solution of a fixed point equation
I encountered a nasty sequence $(x_n)_{n=1}^\infty $ defined as the smallest positive fixed point of the fixed point equation $ x_n = f_n(x_n) $, where $f_n$ is given by
$$ f_n(x) = \sum_{k=0}^{\...
- 109k
4
votes
1
answer
205
views
Existence of an $\alpha$-Hölder continuous function whose graph has positive Hausdorff measure of maximal dimension
It is standard that if $f:[0,1] \rightarrow \mathbb{R}$ is $\alpha$-Hölder continuous, then its graph has Hausdorff dimension at most $2-\alpha$. My naive expectation was that "most" graphs ...
- 45
1
vote
1
answer
118
views
Is there $\varepsilon \in (0, 1)$ such that $\sup_{t \in [0, \varepsilon]} [\ell_t]_\beta < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bD}{\mathbb{...
- 23.2k
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69
5
votes
1
answer
245
views
Are singular functions dense in the space of Hölder continuous functions?
We say a non-constant function $f$ on $[0, 1]$ is singular if it is continuous, and in addition differentiable almost everywhere with $f' = 0$ a.e.
For every positive $\alpha < 1$, is the set of ...
- 10.3k
3
votes
0
answers
146
views
Two algebraically independent irrational numbers $\alpha,\beta$ s.t. $\alpha^\beta$ is a rational number
Are there two algebraically independent irrational numbers $\alpha,\beta$ s.t. $\alpha^\beta$ is a rational number?
- 4,713
0
votes
0
answers
125
views
Has anyone seen such a function/quantity?
I am dealing with a problem wherein I encounter the following quantity-
$$
Q_{d, \epsilon}(t_0) = \sup_{t' \notin B(t_0, \epsilon)} \inf_{t \in B(t_0, \epsilon)} \frac{d(t') - d(t)}{t'-t}.
$$
Here,...
- 11
4
votes
1
answer
101
views
Limits along lines for the gradient of a convex function
It is easy to see that if a function $f: \mathbb{R} \to \mathbb{R}$ is strictly convex, $C^1$ and $f'$ has bounded image, then as $t\to \infty$ the limit
$$
\lim_{t\to\infty} f'(t) = \lim_{t\to\infty} ...
- 10.6k
1
vote
1
answer
101
views
Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $
Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $.
...
- 16.2k
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 ...
- 128k
2
votes
0
answers
78
views
Partitions of bent vectors
Let $H=\frac{1}{\sqrt{2}}\begin{bmatrix}1 & 1 \\ 1 & -1\end{bmatrix}.$ Let $A^{\otimes N}$ denote the tensor product of the matrix $A$ with itself taken $N$ times. We say that a vector $v$ of ...
0
votes
0
answers
86
views
Solve equation with three square roots
I am trying to solve a more general question and I have the following subproblem:
Find $x>0$ that satisfies for fixed $ i \geq 3$,
$$\left(1 + \frac{1}{b^2}\right) x = \frac{\sum_i a_i^2} {b^2} + \...
- 63.9k