All Questions
7,280 questions
4
votes
1
answer
386
views
Given $\mathbf{x}_i^\top A\mathbf{x}_i$ for a SPD matrix $A$ and orthonormal bases $\mathbf{x}_i$, what is the bound of its eigenvalues?
Assume that $A_{d\times d}$ is a symmetric positive semi-definite matrix, and $\{\mathbf{x}_1,\ldots,\mathbf{x}_d\}$ composes a group of orthogonal bases of $\mathbb{R}^d$ where $\mathbf{x}_i\bot\...
- 607
2
votes
2
answers
390
views
Ax=0, estimate min(Hamming(x)) ? Equivalently: Bipartite graph. How to find (estimate) minimal number of vertices1 which are connected with EVEN number of vertices2 ? Equivalently: estimate minimal weight of error correcting code ?
Consider system of linear equations Ax=0 over $F_2$ (field with two elements {0,1}).
Where number of variables is bigger than equations - so we have many solutions $x$.
Question How to estimate ...
- 198
1
vote
1
answer
978
views
Concentration bound for weakly dependent random variables
Hi,
Suppose we observe a sequence $R_1, ..., R_T$ of iid. random variables that equal $0$ with probability $p$ and with probability $1-p$ are sampled from a distribution with expected value $E(R) >...
- 37.7k
5
votes
1
answer
1k
views
Notions related to De Rham Cohomology
In R^2, we have the following abelian groups, some of which have R vector space structures, or even C vector space structures.
Closed forms/exact forms
real parts of analytic functions/harmonic ...
- 35.2k
9
votes
1
answer
1k
views
0 eigenvalue for a symmetric tridiagonal matrix
Let $T\in \mathbb{R}^{n\times n}$ be a symmetric tridiagonal matrix having the off--diagonal entries equal to -1. The diagonal entries are all positive, $a_i>0$, $i=\overline{1,n}$, and there ...
- 28.6k
3
votes
0
answers
181
views
Example showing that area is discontinuous in the 2-variation seminorm
The $p$-variation seminorm (where $p \ge 1$) of a continuous curve $\alpha: [0,1] \to \mathbb{R}^2$ is defined as the supremum over all partitions $t_0 = 0 \le t_1 \le \cdots \le t_n = 1$ of:
$\left(\...
- 4,304
3
votes
1
answer
1k
views
What is the minimum of the Frobenius norm in the intersection of positive semidefinite cones?
For scalar variables $x$, we have a simple solution for the following problem.
\begin{eqnarray}
\min_x&&\alpha(x-a)^2+\beta(x-b)^2 \\\
\mathrm{s.t. }&&x\leq a\\\
&&...
- 28.6k
4
votes
2
answers
1k
views
$L^1$ norm of the Fourier transform of a truncated Gaussian
I asked this question on Math StackExchange recently but the only useful comment I got was that this could be a good question for Math Overflow. Here it goes:
Consider the Gaussian $G(x):=e^{-x^2}$ ...
- 981
0
votes
0
answers
345
views
Jacobian of the inversion map
Let $F:Tr(n,\mathbb{R})\cap GL_n(\mathbb{R})\rightarrow Tr(n,\mathbb{R})\cap GL_n(\mathbb{R})$ be the map which sends a matrix $A$ to its inverse $A^{-1}$. If we consider $F$ as a function from $(\...
- 657
2
votes
2
answers
820
views
Computing the multiplicity of an eigenvalue of a 0-1 symmetric matrix...
When we want to compute the multiplicity of an eigenvalue of a 0-1 symmetric matrix (viewed as the adjacency matrix of an undirected regular graph), we commonly resort to the know lemma of Feit and ...
2
votes
1
answer
313
views
Derivation of Iteration Rules
Suppose we are given a matrix $V$ and our goal is to find non-negative matrices $W$ and $H$ such that $V \approx WH$. So we want to minimize $K(V || WH)$ (Kullback-Leibler Divergence) where $$K(V||WH) ...
CommunityBot
- 1
4
votes
0
answers
109
views
rank of a C^1 map
I saw this three star problem in Hirsch ..
If we have open sets $U \subset R^3$ ,$V \subset R^2$ and $f:U \to V$ is $C^1$ and onto...Prove there is at least one point in $U$ where $f$ has full rank
...
- 15.2k
3
votes
2
answers
2k
views
Eigenvalues of sum of an adjacent matrix and a constant
$A$ is an adjacent matrix of a network. $la$ is the largest eigenvalue of $A$ and $Va$ is its corresponding eigenvector.
I am interested in the following martix: $bA+c-dI$ ($b$, $c$, and $d$ are all ...
- 28.6k
10
votes
2
answers
1k
views
Does Rolle's Theorem imply Dedekind completeness?
I think the answer to the title question is "yes", but Gerald Edgar, in his comment on Does antidifferentiability of continuous functions imply Dedekind completeness? , points out an article (actually ...
CommunityBot
- 1
6
votes
2
answers
4k
views
Is there dual space of the distributions $\mathcal{D}'(R)$?
Dear MOs,
Let $\mathcal{D}(R):=C_c^\infty(R)$ be the smooth functions with compact support. Its dual space is the space $\mathcal{D}'(R)$ of distributions. This space $\mathcal{D}(R)$ has its weak *-...
- 34.7k
1
vote
1
answer
720
views
A question on gauge functions
In the second paragraph on Page 71 of the book Matrix Analysis by
Bhatia, 1997, it says ``as a consequence of (III.12) we have Theorem
III 4.4''. How can one get the inequality in Theorem III 4.4 from
...
- 28.6k
10
votes
0
answers
315
views
Does antidifferentiability of continuous functions imply Dedekind completeness?
Let $R$ be an ordered field, and let $I$ be {$x \in R: a < x < b$} for some $a < b$ in $R$. Define notions of $R$-continuity and $R$-differentiability for functions $f : I \rightarrow R$ by ...
- 19.7k
1
vote
1
answer
254
views
references for families of conditionaly negative definite matrices
We say that a matrix $A\in M_n(\mathbb{C})$ is a conditionaly negative definite matrix if it is hermitian and if for all complex numbers $c_1,\ldots,c_n$ such that $c_1+\cdots +c_n=0$ we have
$$
\sum_{...
CommunityBot
- 1
1
vote
1
answer
334
views
Property Sigma Algebra [closed]
Is the set { $ \cup_{i \in \mathbb{N}} C_{i} \times D_{i} : C_{i} \in \mathcal{L} \ , D_{i} \in \mathcal{B}^{n} \ $ } a sigma algebra on $\mathbb{R} \times \mathbb{R}^{n}$ ?
- 236k
0
votes
1
answer
1k
views
surjective function from non-measurable sets
let $V$ be the vitali set and let $g:V\to\mathbb R$ be a surjective function. then the fuction $f:\mathbb R\to\mathbb R$ such that $f(x)=g([x])$ will be a function that is surjective in any interval ...
- 60.5k
3
votes
1
answer
829
views
polynomial matrices and its spectrum
Hello, all!
I have a polynomial non-singular square matrix over $\mathbf{F} _q[x]$,
$$\underset{l \times l}{G(x)} = \left( \begin{matrix} g _{0,0}(x) & g _{0,1}(x) & \ldots & g _{0,l-1}(...
CommunityBot
- 1
14
votes
2
answers
2k
views
Finding minimum (or maximum) element of a low rank matrix.
Let $A\in\mathbb{R}^{n\times n}$ and suppose that $A$ is of rank $m\leq n$. Moreover suppose we know $u_1,\ldots, u_m \in\mathbb{R}^{n\times 1}$ and $v_1,\ldots, v_m \in\mathbb{R}^{n\times 1}$ such ...
- 410
1
vote
2
answers
1k
views
Is there a periodic function without minimum period such that all the possible periods are irrationals? [closed]
Let $f:\mathbb R\to\mathbb R$ be a periodic function. We say $f$ is without minimum period if, $\forall t$ such that $f(x+t)=f(x)\forall x$, there is a $t'$ such that $0<t'<t$ and $f(x+t')=f(x)\...
- 23.2k
2
votes
1
answer
2k
views
How to do (m)Gram-Schmidt orthogonalization with integers ? (real life problem) ("mathematicalized reformulation")
New edition of the question, "mathematicalized" (thanks to Gerhard).
Consider and integer valued n*n matrix M, with integers elements in the range -N < m < N.
I want to find integer-valued ...
CommunityBot
- 1
8
votes
3
answers
1k
views
Are nilpotent orbits degenerations of semi-simple orbits ?
"Examples first:"
Consider so(3,C). (Co)Adjoint Orbits can be described by equations
x^2+y^2+z^2 = R.
R=0 - is nilpotent cone - algebraic closure of the orbit of nilpotent element. (It is union of ...
CommunityBot
- 1
0
votes
1
answer
606
views
Difference between spaces of integrable functions w.r.t Lebesgue measure and Borel measure [closed]
Is there a difference between
$L^p(\mathbb R,\mathfrak B,\beta)$ and $L^p(\mathbb R,\mathfrak L,\lambda)$ ?
Here I denoted by $\lambda$ the Lebesgue measure, defined on the Lebesgue
$\sigma$-algebra $\...
- 9,853
5
votes
3
answers
5k
views
Zeros of "exponential" function
Define ${f}_{i}(x) = \sum_{j=1}^{i} (-1)^{i-j}{i \choose j}j^x$, where $i=1,2,3,...$ and $x \in \mathbb{R}$.
For integer $x \geq i$, ${f}_{i}(x)$ reduces to ${f}_{i}(x)=i!S(x,i)$, where $S(x,i)$ is ...
CommunityBot
- 1
7
votes
1
answer
539
views
A Linear Algebra Problem
Given a matrix $A\in \mathbb{R}^{n\times n}$, I am looking for
a symmetric matrix $S\in\mathbb{R}^{n\times n}$ such that
$$
S A + A^T S = I
$$
$A$ can be assumed to be regular (with positive ...
- 979
0
votes
1
answer
316
views
Modulo dynamics on [0,1)
For $T: \mathbb{R} \mapsto \mathbb{{R}_{+}}$, we have $\{ {T}^{n}(\theta)\ mod \ 1\} \subset [0,1)$. (where ${T}^{n}(\theta)$ means applying $T$ $n$ times on $\theta$, not the $n$th power of $T(\...
- 3,343
0
votes
1
answer
659
views
Under what condition will this set contain a limit point of [0,1)?
Let $T_1,T_2,....T_n$ be numbers such that
$T_k= k$ no. of digits in decimal expansion of an irrational number, say $\alpha$, starting from $(\frac{k(k-1)}{2}+1)^{th}$ digit in the decimal expansion. ...
- 60.5k
2
votes
1
answer
1k
views
On an eigenvalue inequality
Let $\lambda_1 (\cdot)$ be the larger absolute value
eigenvalue of a $2\times2$ matrix and $\lambda_2 (\cdot)$
the smaller absolute value eigenvalue of a $2\times2$ matrix, i.e.
$|\lambda_1 (\cdot)| \...
CommunityBot
- 1
6
votes
2
answers
1k
views
On the uncountability of zero sets
If $f$ is any real-valued function, we define its zero set $Z_f = \{ x : f(x) = 0 \}$. Obviously, the zero set of a nice function can be uncountable. e.g., if $f(x) = 0$ on an uncountable domain.
I ...
- 8,512
1
vote
2
answers
450
views
A smoothness of $f(\sqrt[p] x)$
Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a smooth function let $p \in \mathbb{N}$, $p \geq 2$.
Assume that $f^{(k)}(0)=0$ for all $k \notin p \mathbb{N}$. Is it true that then $g(x)=f(\sqrt[p] x)$...
5
votes
1
answer
543
views
Acceleration via smoothing
Is the following approach to accelerating the rate of convergence of $(1+1/2+\dots+1/n)- \ln n$ (with $n=1,2,3,\dots$), and other sequences like it, in the literature?
Let $f(t)=(\sum_{1 \leq n \leq ...
CommunityBot
- 1
3
votes
1
answer
500
views
Hausdorff measure on product spaces of p-adic integers
This question came up (unexpectedly) in a problem I was working on a few years ago. It may not be too difficult but I never got around to figuring out the answer, because all I needed at that time was ...
- 23.2k
6
votes
0
answers
8k
views
Dual space of continuous functions
Let $C_b(\Omega,V )=$ { $ f:\Omega\rightarrow V $ } is the Banach space of all bounded continuous functions in Banach space $V$ with a norm $\|\cdot\|$ defined as $\|f\|_\infty=\sup _{x\in\Omega}\|f(x)...
- 385
8
votes
1
answer
5k
views
Constructing a unitary matrix
Setting:
Given a set of $n\times n$ matrices $A_i$, I would like to find a linear combination of these matrices $Q = \sum_i A_i x_i$ with $x_i$ a set of complex numbers, such that $Q$ is unitary: $Q^{...
CommunityBot
- 1
2
votes
1
answer
255
views
Quotients of perfect powers separated by an integer
Let $a_n=\frac{(n+1)^{n+2}}{n^n}$ and $b_n=\frac{(n+2)^{(n+1)}}{(n+1)^{n-1}}$. Then it is easy to see that $a_n \leq b_n$ for all integers $n\geq 1$ (because the sequence $(1+\frac{1}{n})^n$ is ...
- 1,723
4
votes
1
answer
627
views
Does such a smooth function exist?
I am looking for a $C^\infty $ function $g:\mathbb{R}^3\to \mathbb{R}^3$ such that $g(x)=0$ for $|x|\le 1$ and $g(x)=x$ for $|x|\ge 2$. Certainly such $g$ can be constructed, but I also want it to ...
CommunityBot
- 1
2
votes
2
answers
599
views
Eigenvectors of a diagonalizable matrix
Suppose we have a n-by-n symmetric matrix K which can be factorized in a way, K = H * L * H', where L is a m-by-m diagonal matrix and H is a n-by-m matrix. In addition, let's assume n <= m.
Can we ...
CommunityBot
- 1
2
votes
1
answer
2k
views
Modified Lebesgue differentiation theorem
Let $\Omega\subset \mathbb{R}^n$ an open set and $u:\Omega\to \mathbb{R}$ be a (locally) $L^1$-function. Then it is well known that the Lebesgue differentiation theorem holds: For almost every $x\in \...
CommunityBot
- 1
2
votes
1
answer
453
views
eigen-decomposition of a special companion matrix
I have a special type of companion matrix, where the "special" part is that each element in the matrix are matrices. For instance, the diagonal with "1":s is instead a diagonal with identity matrices, ...
- 23
21
votes
3
answers
3k
views
Prime ideals in the ring of germs of continuous functions
We all know that the ring of germs of continuous functions at a point on, say $\mathbb{R}$, has a unique maximal ideal- namely, those functions that vanish at that point.
Can anyone think of a single ...
- 47.5k
4
votes
2
answers
371
views
Heights of several interesting posets
Let the height of a poset $P$ be the supremum of ordinals that are order types of all well-ordered subsets of $P$ (with order inherited from $P$).
Define several sets of total functions, in each ...
- 2,943
9
votes
2
answers
1k
views
Fourier transform of x2 invariant measure
Let $T:\mathbb{R}/\mathbb{Z}\rightarrow \mathbb{R}/\mathbb{Z}$ be the map defined by $T(x)=2x$, and suppose that $\mu$ is a $T$ invariant and ergodic Borel probability measure on the space, which is ...
- 1,723
1
vote
2
answers
1k
views
An interesting doubly infinite series
Let $0<\mu<1$ and $\alpha:=1-\mu^2$. Consider the function
$$f(x):=x\sum_{k=-\infty}^\infty\mu^{4k}e^{-\alpha\mu^{4k}x}-\frac{1}{x}\sum_{k=-\infty}^\infty\mu^{4k}e^{-\alpha\mu^{4k}/x},$$
...
CommunityBot
- 1
2
votes
0
answers
495
views
Characterization of weak Lebesgue spaces [closed]
I would be interested to know whether the following is true:
Let $\Omega$ be a bounded open set in $\mathbf{R}^n$. Let $g$ be a nonnegative function $g : \Omega \to \mathbf{R}$. If there is a ...
- 373
2
votes
0
answers
917
views
Guessing game with guess cost
This is a question about Problem 328 on the website Project Euler. A description of the problem is provided in the previous link. I was wondering if there has been any research done on this question. ...
- 4,952
1
vote
3
answers
640
views
Eigenvalues of Krylov matrices
Let an $n\times n$ matrix ${\bf A}$, the all ones vector ${\bf w}$, and the $n\times n$ Krylov matrix
$${\bf K}_n = \left[ {\bf w}\;\;{\bf A}{\bf w}\;\;\ldots \;\; {\bf A}^{n-1}{\bf w}\right].$$
Is ...
- 1,171
11
votes
4
answers
5k
views
The metric space associated to a measure space
Let $(X, \mathcal{A}, \mu)$ be a measure space such that $\mu(X) < \infty$. We say that two measurable sets $A$ and $B$ are equivalent if $\mu (A \Delta B) = 0$. The equation $$ d(A,B) = \mu (A \...
- 148k